27 lines
417 B
Rust
27 lines
417 B
Rust
//@ run-pass
|
|
#![allow(dead_code)]
|
|
#![allow(unused_variables)]
|
|
|
|
#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
|
|
|
|
// Regression test for ICE when combining specialized associated types and type
|
|
// aliases
|
|
|
|
trait Id_ {
|
|
type Out;
|
|
}
|
|
|
|
type Id<T> = <T as Id_>::Out;
|
|
|
|
impl<T> Id_ for T {
|
|
default type Out = T;
|
|
}
|
|
|
|
fn test_proection() {
|
|
let x: Id<bool> = panic!();
|
|
}
|
|
|
|
fn main() {
|
|
|
|
}
|