Commit 4387eea

committed

Support constraining opaque types while trait upcasting with binders

1 parent 7f292f4 commit 4387eeaCopy full SHA for 4387eea

File tree

-11

lines changed

compiler/rustc_trait_selection/src/traits/select
- mod.rs
tests/ui/traits/trait-upcasting
- type-checking-test-opaques.rs
- type-checking-test-opaques.stderr

-11

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -2594,7 +2594,7 @@ impl<'tcx> SelectionContext<'_, 'tcx> {`
`2594`	`2594`	`self.infcx`
`2595`	`2595`	`.at(&obligation.cause, obligation.param_env)`
`2596`	`2596`	`.eq(`
`2597`		`- DefineOpaqueTypes::No,`
	`2597`	`+ DefineOpaqueTypes::Yes,`
`2598`	`2598`	`upcast_principal.map_bound(\|trait_ref\| {`
`2599`	`2599`	`ty::ExistentialTraitRef::erase_self_ty(tcx, trait_ref)`
`2600`	`2600`	`}),`

Lines changed: 2 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,7 @@`
`1`	`1`	`#![feature(trait_upcasting, type_alias_impl_trait)]`
`2`	`2`
	`3`	`+//@ check-pass`
	`4`	`+`
`3`	`5`	`type Tait = impl Sized;`
`4`	`6`
`5`	`7`	`trait Foo<'a>: Bar<'a, 'a, Tait> {}`
`@@ -15,7 +17,6 @@ fn test_correct2<'a>(x: &dyn Foo<'a>) {`
`15`	`17`
`16`	`18`	`fn test_correct3<'a>(x: &dyn Foo<'a>, _: Tait) {`
`17`	`19`	`let _ = x as &dyn Bar<'_, '_, ()>;`
`18`		`- //~^ ERROR: non-primitive cast`
`19`	`20`	`}`
`20`	`21`
`21`	`22`	`fn main() {}`

Lines changed: 0 additions & 9 deletions

This file was deleted.

Comments

(0)