Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/trait_aliases.rs')
| -rw-r--r-- | crates/hir-ty/src/tests/trait_aliases.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/trait_aliases.rs b/crates/hir-ty/src/tests/trait_aliases.rs new file mode 100644 index 0000000000..302ce550b8 --- /dev/null +++ b/crates/hir-ty/src/tests/trait_aliases.rs @@ -0,0 +1,21 @@ +use crate::tests::check_types; + +#[test] +fn projection() { + check_types( + r#" +#![feature(trait_alias)] + +pub trait A { + type Output; +} + +pub trait B = A<Output = u32>; + +pub fn a<T: B>(x: T::Output) { + x; +// ^ u32 +} +"#, + ); +} |