diff options
| author | Michael Goulet <michael@errs.io> | 2023-05-31 17:45:45 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-05-31 17:45:45 +0000 |
| commit | df1c1afdafcf8c9c46b18f274fc7f01f13ff05da (patch) | |
| tree | 5cc3eb5122eec9229e2ae39d5000854496ae7aa9 /tests/ui/impl-trait/multiple-defining-usages-in-body.rs | |
| parent | 3d09b990d7e3d8539a3b9655894e7e05dcc9ebf2 (diff) | |
| download | rust-df1c1afdafcf8c9c46b18f274fc7f01f13ff05da.tar.gz rust-df1c1afdafcf8c9c46b18f274fc7f01f13ff05da.zip | |
Check that RPITs are compatible with the opaques inferred during HIR typeck too
Diffstat (limited to 'tests/ui/impl-trait/multiple-defining-usages-in-body.rs')
| -rw-r--r-- | tests/ui/impl-trait/multiple-defining-usages-in-body.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/ui/impl-trait/multiple-defining-usages-in-body.rs b/tests/ui/impl-trait/multiple-defining-usages-in-body.rs index c3a6f09f86d..86661153a0d 100644 --- a/tests/ui/impl-trait/multiple-defining-usages-in-body.rs +++ b/tests/ui/impl-trait/multiple-defining-usages-in-body.rs @@ -4,9 +4,9 @@ impl Trait for () {} fn foo<T: Trait, U: Trait>() -> impl Trait { //~^ WARN function cannot return without recursing [unconditional_recursion] let a: T = foo::<T, U>(); - //~^ ERROR concrete type differs from previous defining opaque type use loop {} let _: T = foo::<U, T>(); + //~^ ERROR concrete type differs from previous defining opaque type use } fn main() {} |