Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2024-12-29 06:23:25 +00:00
Code Issues Projects Releases Packages Wiki Activity

fix: Paper over GAT panic

Browse source 
TIL that Chalk expects the arguments to a generic associated type to
come *before* the ones for the parent trait, not *after* as we have been
doing with all other nested generics. Fixing this requires a larger
refactoring, so for now this just papers over the problem by completely
ignoring parameters of associated types.

Fixes #11769.
This commit is contained in:
Florian Diebold 2022-04-02 13:04:04 +02:00
parent 63c4d6b20d
commit 019f48673a
2 changed files with 28 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
crates/hir_ty/src/tests/regression.rs
View file

@ -1497,3 +1497,22 @@ fn regression_11688_3() {
"#,
);
}
#[test]
fn gat_crash() {
cov_mark::check!(ignore_gats);
check_no_mismatches(
r#"
trait ATrait {}
trait Crash {
type Member<const N: usize>: ATrait;
fn new<const N: usize>() -> Self::Member<N>;
}
fn test<T: Crash>() {
T::new();
}
"#,
);
}

9
crates/hir_ty/src/utils.rs
View file

@ -175,6 +175,15 @@ pub(super) fn associated_type_by_name_including_super_traits(
pub(crate) fn generics(db: &dyn DefDatabase, def: GenericDefId) -> Generics {
let parent_generics = parent_generic_def(db, def).map(|def| Box::new(generics(db, def)));
if parent_generics.is_some() && matches!(def, GenericDefId::TypeAliasId(_)) {
// XXX: treat generic associated types as not existing to avoid crashes (#)
//
// Chalk expects the inner associated type's parameters to come
// *before*, not after the trait's generics as we've always done it.
// Adapting to this requires a larger refactoring
cov_mark::hit!(ignore_gats);
return Generics { def, params: Interned::new(Default::default()), parent_generics };
}
Generics { def, params: db.generic_params(def), parent_generics }
}