pub trait UncheckedView { }
An unchecked view, the correctness of which is not guaranteed by the proving or checked by the verification.