blob: fb56cc54d634b42dc635175e1343eb1566fb6fdf (
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
|
// Regression test for issue #76202
// Tests that we don't ICE when we have a trait impl on a TAIT.
#![feature(type_alias_impl_trait)]
trait Dummy {}
impl Dummy for () {}
type F = impl Dummy;
fn f() -> F {}
trait Test {
fn test(self);
}
impl Test for F {
//~^ ERROR cannot implement trait
fn test(self) {}
}
fn main() {
let x: F = f();
x.test();
}
|