Rollup merge of #129500 - fee1-dead-contrib:fxrel, r=compiler-errors · patricklam/verify-rust-std@7d5cf38 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Commit 7d5cf38

Rollup merge of rust-lang#129500 - fee1-dead-contrib:fxrel, r=compiler-errors

remove invalid `TyCompat` relation for effects if the current impl uses `Maybe` (`impl const`), the parent impl must use `Maybe` (`impl const`) as well. I'd like to rename `TyCompat` to `Sub` which is probably clearer. But it would conflict with my other PR. r? ``@rust-lang/project-const-traits``

File tree

1 file changed

lines changed

1 file changed

lines changed

Lines changed: 0 additions & 1 deletion

Original file line number Diff line number Diff line change
@@ -1097,7 +1097,6 @@ pub mod effects {
1097 1097 pub trait TyCompat<T: ?Sized> {}
1098 1098
1099 1099 impl<T: ?Sized> TyCompat<T> for T {}
1100 -impl<T: ?Sized> TyCompat<T> for Maybe {}
1101 1100 impl<T: ?Sized> TyCompat<Maybe> for T {}
1102 1101
1103 1102 #[lang = "EffectsIntersection"]