18 lines
254 B
Rust
18 lines
254 B
Rust
//@ known-bug: #135528
|
|
//@ compile-flags: -Zvalidate-mir -Zinline-mir=yes
|
|
#![feature(type_alias_impl_trait)]
|
|
type Tait = impl Copy;
|
|
|
|
fn set(x: &isize) -> isize {
|
|
*x
|
|
}
|
|
|
|
fn d(x: Tait) {
|
|
set(x);
|
|
}
|
|
|
|
fn other_define() -> Tait {
|
|
()
|
|
}
|
|
|
|
fn main() {}
|