rust-lang
diff --git a/‎compiler/rustc_trait_selection/src/traits/select/mod.rs
Copy file name to clipboardExpand all lines: compiler/rustc_trait_selection/src/traits/select/mod.rs
+1-1Lines changed: 1 addition & 1 deletion b/‎compiler/rustc_trait_selection/src/traits/select/mod.rs
Copy file name to clipboardExpand all lines: compiler/rustc_trait_selection/src/traits/select/mod.rs
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎tests/ui/traits/trait-upcasting/type-checking-test-opaques.rs
Copy file name to clipboardExpand all lines: tests/ui/traits/trait-upcasting/type-checking-test-opaques.rs
+2-1Lines changed: 2 additions & 1 deletion b/‎tests/ui/traits/trait-upcasting/type-checking-test-opaques.rs
Copy file name to clipboardExpand all lines: tests/ui/traits/trait-upcasting/type-checking-test-opaques.rs
+2-1Lines changed: 2 additions & 1 deletion
diff --git a/‎tests/ui/traits/trait-upcasting/type-checking-test-opaques.stderr
Copy file name to clipboardExpand all lines: tests/ui/traits/trait-upcasting/type-checking-test-opaques.stderr
-9Lines changed: 0 additions & 9 deletions b/‎tests/ui/traits/trait-upcasting/type-checking-test-opaques.stderr
Copy file name to clipboardExpand all lines: tests/ui/traits/trait-upcasting/type-checking-test-opaques.stderr
-9Lines changed: 0 additions & 9 deletions
@@ -2594,7 +2594,7 @@ impl<'tcx> SelectionContext<'_, 'tcx> {
                         self.infcx
                             .at(&obligation.cause, obligation.param_env)
                             .eq(
-                                DefineOpaqueTypes::No,
+                                DefineOpaqueTypes::Yes,
                                 upcast_principal.map_bound(|trait_ref| {
                                     ty::ExistentialTraitRef::erase_self_ty(tcx, trait_ref)
                                 }),
 
@@ -1,5 +1,7 @@
 #![feature(trait_upcasting, type_alias_impl_trait)]
 
+//@ check-pass
+
 type Tait = impl Sized;
 
 trait Foo<'a>: Bar<'a, 'a, Tait> {}
@@ -15,7 +17,6 @@ fn test_correct2<'a>(x: &dyn Foo<'a>) {
 
 fn test_correct3<'a>(x: &dyn Foo<'a>, _: Tait) {
     let _ = x as &dyn Bar<'_, '_, ()>;
-    //~^ ERROR: non-primitive cast
 }
 
 fn main() {}