mirror of https://github.com/rust-lang/rust
23 lines
407 B
Rust
23 lines
407 B
Rust
//@ check-pass
|
|
|
|
#![feature(type_alias_impl_trait)]
|
|
#![allow(dead_code)]
|
|
|
|
fn main() {}
|
|
|
|
type PartiallyDefined<T> = impl Sized;
|
|
|
|
fn partially_defined<T: std::fmt::Debug>(_: T) -> PartiallyDefined<T> {
|
|
4u32
|
|
}
|
|
|
|
type PartiallyDefined2<T> = impl Sized;
|
|
|
|
fn partially_defined2<T: std::fmt::Debug>(_: T) -> PartiallyDefined2<T> {
|
|
4u32
|
|
}
|
|
|
|
fn partially_defined22<T>(_: T) -> PartiallyDefined2<T> {
|
|
4u32
|
|
}
|