address review comments · model-checking/verify-rust-std@729a10a (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -1062,9 +1062,14 @@ pub mod effects {
1062	1062	impl<T: ?Sized> TyCompat<T> for Maybe {}
1063	1063	impl<T: ?Sized> TyCompat<Maybe> for T {}
1064	1064
1065		-#[lang = "EffectsMin"]
1066		-pub trait Min {
1067		-#[lang = "EffectsMinOutput"]
	1065	+#[lang = "EffectsIntersection"]
	1066	+pub trait Intersection {
	1067	+#[lang = "EffectsIntersectionOutput"]
1068	1068	type Output: ?Sized;
1069	1069	}
	1070	+
	1071	+// FIXME(effects): remove this after next trait solver lands
	1072	+impl Intersection for () {
	1073	+type Output = Maybe;
	1074	+}
1070	1075	}