bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/regression.rs')
-rw-r--r--crates/hir-ty/src/tests/regression.rs35
1 files changed, 35 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index 2836f977a9..683c938fb5 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -3028,3 +3028,38 @@ fn f() {
"#,
);
}
+
+#[test]
+fn braced_const_path() {
+ check_types(
+ r#"
+//- minicore: default, builtin_impls
+trait ToNum {
+ type Num;
+}
+trait Bar {
+ type Ty;
+}
+struct Gen<const B: bool>;
+struct Int<const B: bool>;
+
+impl<const B: bool> ToNum for Gen<{ B }> {
+ type Num = Int<B>;
+}
+
+impl Bar for Int<true> {
+ type Ty = i32;
+}
+impl Bar for Int<false> {
+ type Ty = f32;
+}
+
+type A = <<Gen<true> as ToNum>::Num as Bar>::Ty;
+
+fn main() {
+ let x = A::default();
+ // ^ i32
+}
+ "#,
+ );
+}