| //@ 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; | |
| } |