user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add an assert (and fix the other)

Browse source
This commit is contained in:
Florian Diebold 2019-02-21 21:25:27 +01:00
parent 72712b8a42
commit db9a5a9ac0
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/ra_hir/src/ty.rs
View file

@ -443,7 +443,7 @@ impl Ty {
for _ in supplied_params..def_generics.count_params_including_parent() {
substs.push(Ty::Unknown);
}
assert_eq!(substs.len(), def_generics.params.len());
assert_eq!(substs.len(), def_generics.count_params_including_parent());
Substs(substs.into())
}
@ -1374,6 +1374,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
for _ in supplied_params..parent_param_count + param_count {
substs.push(Ty::Unknown);
}
assert_eq!(substs.len(), parent_param_count + param_count);
Substs(substs.into())
}