blob: 8c2a9a17e2b841fa36a4f97171e538f8756c395d (
plain)
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
36
37
38
39
40
41
42
|
// Regression test for issue #99554.
// Projections might not cover type parameters.
//@ revisions: classic next
//@[next] compile-flags: -Znext-solver
//@ check-pass
//@ compile-flags: --crate-type=lib
//@ aux-crate:foreign=parametrized-trait.rs
//@ edition:2021
trait Identity {
type Output;
}
impl<T> Identity for T {
type Output = T;
}
struct Local;
impl<T> foreign::Trait0<Local, T, ()> for <T as Identity>::Output {}
//~^ WARNING type parameter `T` must be covered by another type
//~| WARNING this was previously accepted by the compiler
impl<T> foreign::Trait0<<T as Identity>::Output, Local, T> for Option<T> {}
//~^ WARNING type parameter `T` must be covered by another type
//~| WARNING this was previously accepted by the compiler
pub trait Deferred {
type Output;
}
// A downstream user could implement
//
// impl<T> Deferred for Type<T> { type Output = T; }
// struct Type<T>(T);
//
impl<T: Deferred> foreign::Trait1<Local, T> for <T as Deferred>::Output {}
//~^ WARNING type parameter `T` must be covered by another type
//~| WARNING this was previously accepted by the compiler
|
