diff --git a/tests/ui/higher-ranked/subtype/structually-relate-aliases.rs b/tests/ui/higher-ranked/structually-relate-aliases.rs similarity index 60% rename from tests/ui/higher-ranked/subtype/structually-relate-aliases.rs rename to tests/ui/higher-ranked/structually-relate-aliases.rs index 2d67dc6aa1841..8df24702811dd 100644 --- a/tests/ui/higher-ranked/subtype/structually-relate-aliases.rs +++ b/tests/ui/higher-ranked/structually-relate-aliases.rs @@ -1,3 +1,5 @@ +// regression test for issue #121649. + trait ToUnit<'a> { type Unit; } @@ -9,7 +11,7 @@ type Assoc<'a, T> = >::Unit; impl Overlap for T {} impl Overlap fn(&'a (), Assoc<'a, T>)> for T {} -//~^ ERROR 11:17: 11:49: the trait bound `for<'a> T: ToUnit<'a>` is not satisfied [E0277] -//~| ERROR 11:36: 11:48: the trait bound `for<'a> T: ToUnit<'a>` is not satisfied [E0277] +//~^ ERROR 13:17: 13:49: the trait bound `for<'a> T: ToUnit<'a>` is not satisfied [E0277] +//~| ERROR 13:36: 13:48: the trait bound `for<'a> T: ToUnit<'a>` is not satisfied [E0277] fn main() {} diff --git a/tests/ui/higher-ranked/subtype/structually-relate-aliases.stderr b/tests/ui/higher-ranked/structually-relate-aliases.stderr similarity index 93% rename from tests/ui/higher-ranked/subtype/structually-relate-aliases.stderr rename to tests/ui/higher-ranked/structually-relate-aliases.stderr index c14fce8be21c5..59fab52b221e2 100644 --- a/tests/ui/higher-ranked/subtype/structually-relate-aliases.stderr +++ b/tests/ui/higher-ranked/structually-relate-aliases.stderr @@ -1,7 +1,7 @@ WARN rustc_infer::infer::relate::generalize may incompletely handle alias type: AliasTy { args: [?1t, '^0.Named(DefId(0:15 ~ structually_relate_aliases[de75]::{impl#1}::'a), "'a")], def_id: DefId(0:5 ~ structually_relate_aliases[de75]::ToUnit::Unit) } WARN rustc_infer::infer::relate::generalize may incompletely handle alias type: AliasTy { args: [?1t, !2_0.Named(DefId(0:15 ~ structually_relate_aliases[de75]::{impl#1}::'a), "'a")], def_id: DefId(0:5 ~ structually_relate_aliases[de75]::ToUnit::Unit) } error[E0277]: the trait bound `for<'a> T: ToUnit<'a>` is not satisfied - --> $DIR/structually-relate-aliases.rs:11:36 + --> $DIR/structually-relate-aliases.rs:13:36 | LL | impl Overlap fn(&'a (), Assoc<'a, T>)> for T {} | ^^^^^^^^^^^^ the trait `for<'a> ToUnit<'a>` is not implemented for `T` @@ -12,7 +12,7 @@ LL | impl ToUnit<'a>> Overlap fn(&'a (), Assoc<'a, T>)> for T | ++++++++++++++++++++ error[E0277]: the trait bound `for<'a> T: ToUnit<'a>` is not satisfied - --> $DIR/structually-relate-aliases.rs:11:17 + --> $DIR/structually-relate-aliases.rs:13:17 | LL | impl Overlap fn(&'a (), Assoc<'a, T>)> for T {} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> ToUnit<'a>` is not implemented for `T`