20 lines
279 B
Rust
20 lines
279 B
Rust
|
//@ known-bug: #79590
|
||
|
|
|
||
|
|
trait Database: Restriction<Inner = u32> {}
|
||
|
|
|
||
|
|
trait Restriction {
|
||
|
|
type Inner;
|
||
|
|
}
|
||
|
|
|
||
|
|
struct Test {}
|
||
|
|
|
||
|
|
impl Database for Test {}
|
||
|
|
impl Restriction for Test {
|
||
|
|
type Inner = u32;
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
let t = Test {};
|
||
|
|
let x: &dyn Database<Inner = _> = &t;
|
||
|
|
}
|