| // Check that writing an overlapping impl is not allow unless specialization is ungated. | |
| // gate-test-specialization | |
| trait Foo { | |
| fn foo(&self); | |
| } | |
| impl<T> Foo for T { | |
| fn foo(&self) {} | |
| } | |
| impl Foo for u8 { //~ ERROR E0119 | |
| fn foo(&self) {} | |
| } | |
| fn main() {} |