mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Check that Deref has the right number of parameters

Browse source
This commit is contained in:
Florian Diebold 2019-06-15 18:33:30 +02:00
parent 3e78a6e3e0
commit 94a6aff9f8
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
crates/ra_hir/src/ty/autoderef.rs
View file

@ -7,7 +7,7 @@ use std::iter::successors;
use log::{info, warn};
use crate::{HirDatabase, Name, Resolver};
use crate::{HirDatabase, Name, Resolver, HasGenericParams};
use super::{traits::Solution, Ty, Canonical};
pub(crate) fn autoderef<'a>(
@ -42,7 +42,12 @@ fn deref_by_trait(
};
let target = deref_trait.associated_type_by_name(db, Name::target())?;
// FIXME we should check that Deref has no type parameters, because we assume it below
if target.generic_params(db).count_params_including_parent() != 1 {
// the Target type + Deref trait should only have one generic parameter,
// namely Deref's Self type
return None;
}
// FIXME make the Canonical handling nicer
let projection = super::traits::ProjectionPredicate {