Implement Min trait in new solver · model-checking/verify-rust-std@47492c9 (original) (raw)

Original file line number Diff line number Diff line change
@@ -1054,14 +1054,15 @@ pub mod effects {
1054 1054
1055 1055 #[lang = "EffectsTyCompat"]
1056 1056 #[marker]
1057 -pub trait TyCompat<T> {}
1057 +pub trait TyCompat<T: ?Sized> {}
1058 1058
1059 -impl<T> TyCompat<T> for T {}
1060 -impl<T> TyCompat<T> for Maybe {}
1059 +impl<T: ?Sized> TyCompat<T> for T {}
1060 +impl<T: ?Sized> TyCompat<T> for Maybe {}
1061 +impl<T: ?Sized> TyCompat<Maybe> for T {}
1061 1062
1062 1063 #[lang = "EffectsMin"]
1063 1064 pub trait Min {
1064 1065 #[lang = "EffectsMinOutput"]
1065 -type Output;
1066 +type Output: ?Sized;
1066 1067 }
1067 1068 }