1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
// This used to ICE in an earlier iteration of #117164.
// The normalization performed during orphan checking happens inside an empty ParamEnv and
// with type parameters mapped to fresh infer vars. Therefore it may fail for example due to
// unsatisfied bounds while normalization outside of orphan checking succeeds.
//@ revisions: classic next
//@[next] compile-flags: -Znext-solver
//@ check-pass
//@ aux-crate:foreign=parametrized-trait.rs
//@ edition:2021
struct Wrapper<T>(T);
trait Bound {}
trait Discard { type Output; }
impl<T> Discard for Wrapper<T>
where
Wrapper<T>: Bound
{
type Output = LocalTy;
}
struct LocalTy;
impl<T> foreign::Trait1<LocalTy, T> for <Wrapper<T> as Discard>::Output
//~^ WARNING type parameter `T` must be covered by another type
//~| WARNING this was previously accepted by the compiler
where
Wrapper<T>: Bound
{}
fn main() {}
|
