language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-01 06:11:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Infer range types

Browse source
This commit is contained in:
oxalica 2019-11-29 03:10:16 +08:00
parent 8b278b1ab6
commit 4992d2bf79
No known key found for this signature in database
GPG key ID: CED392DE0C483D00
7 changed files with 209 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

41
crates/ra_hir_ty/src/infer/expr.rs
View file

@ -415,6 +415,47 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
}
_ => Ty::Unknown,
},
Expr::RangeFull => match self.resolve_range_full() {
Some(adt) => Ty::simple(TypeCtor::Adt(adt)),
None => Ty::Unknown,
},
Expr::Range { lhs, rhs } => {
let lhs_ty = self.infer_expr(*lhs, &Expectation::none());
let rhs_ty = self.infer_expr(*rhs, &Expectation::has_type(lhs_ty));
match self.resolve_range() {
Some(adt) => Ty::apply_one(TypeCtor::Adt(adt), rhs_ty),
None => Ty::Unknown,
}
}
Expr::RangeInclusive { lhs, rhs } => {
let lhs_ty = self.infer_expr(*lhs, &Expectation::none());
let rhs_ty = self.infer_expr(*rhs, &Expectation::has_type(lhs_ty));
match self.resolve_range_inclusive() {
Some(adt) => Ty::apply_one(TypeCtor::Adt(adt), rhs_ty),
None => Ty::Unknown,
}
}
Expr::RangeFrom { lhs } => {
let ty = self.infer_expr(*lhs, &Expectation::none());
match self.resolve_range_from() {
Some(adt) => Ty::apply_one(TypeCtor::Adt(adt), ty),
None => Ty::Unknown,
}
}
Expr::RangeTo { rhs } => {
let ty = self.infer_expr(*rhs, &Expectation::none());
match self.resolve_range_to() {
Some(adt) => Ty::apply_one(TypeCtor::Adt(adt), ty),
None => Ty::Unknown,
}
}
Expr::RangeToInclusive { rhs } => {
let ty = self.infer_expr(*rhs, &Expectation::none());
match self.resolve_range_to_inclusive() {
Some(adt) => Ty::apply_one(TypeCtor::Adt(adt), ty),
None => Ty::Unknown,
}
}
Expr::Index { base, index } => {
let _base_ty = self.infer_expr(*base, &Expectation::none());
let _index_ty = self.infer_expr(*index, &Expectation::none());