diff options
Diffstat (limited to 'tests/ui/traits/next-solver/opportunistic-region-resolve.rs')
-rw-r--r-- | tests/ui/traits/next-solver/opportunistic-region-resolve.rs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/opportunistic-region-resolve.rs b/tests/ui/traits/next-solver/opportunistic-region-resolve.rs new file mode 100644 index 000000000..d852332d0 --- /dev/null +++ b/tests/ui/traits/next-solver/opportunistic-region-resolve.rs @@ -0,0 +1,19 @@ +// compile-flags: -Znext-solver +// check-pass + +#![feature(rustc_attrs)] + +#[rustc_coinductive] +trait Trait {} + +#[rustc_coinductive] +trait Indirect {} +impl<T: Trait + ?Sized> Indirect for T {} + +impl<'a> Trait for &'a () where &'a (): Indirect {} + +fn impls_trait<T: Trait>() {} + +fn main() { + impls_trait::<&'static ()>(); +} |