diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-17 12:01:52 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-17 12:01:52 +0100 |
commit | 9b5ac1d82fa3b9b810656e5b4a44d471b9923ce7 (patch) | |
tree | ed3930e18000f7ee5ebd7a3b81de2098fc595f7f /crates/ra_hir/src | |
parent | 6ae6c1460e1e0524664af39fd0dbe3b1af3fac50 (diff) | |
parent | 393b7119bd5341bffb166e0dadcff9124e28b888 (diff) |
Merge #5417
5417: Mismatched arg count works for lambdas r=jonas-schievink a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src')
-rw-r--r-- | crates/ra_hir/src/code_model.rs | 33 |
1 files changed, 19 insertions, 14 deletions
diff --git a/crates/ra_hir/src/code_model.rs b/crates/ra_hir/src/code_model.rs index 0f6953158..859bdfb3b 100644 --- a/crates/ra_hir/src/code_model.rs +++ b/crates/ra_hir/src/code_model.rs | |||
@@ -1233,9 +1233,13 @@ impl Type { | |||
1233 | } | 1233 | } |
1234 | 1234 | ||
1235 | pub fn as_callable(&self, db: &dyn HirDatabase) -> Option<Callable> { | 1235 | pub fn as_callable(&self, db: &dyn HirDatabase) -> Option<Callable> { |
1236 | let (id, substs) = self.ty.value.as_callable()?; | 1236 | let def = match self.ty.value { |
1237 | let sig = db.callable_item_signature(id).subst(substs); | 1237 | Ty::Apply(ApplicationTy { ctor: TypeCtor::FnDef(def), parameters: _ }) => Some(def), |
1238 | Some(Callable { ty: self.clone(), sig, id, is_bound_method: false }) | 1238 | _ => None, |
1239 | }; | ||
1240 | |||
1241 | let sig = self.ty.value.callable_sig(db)?; | ||
1242 | Some(Callable { ty: self.clone(), sig, def, is_bound_method: false }) | ||
1239 | } | 1243 | } |
1240 | 1244 | ||
1241 | pub fn is_closure(&self) -> bool { | 1245 | pub fn is_closure(&self) -> bool { |
@@ -1525,7 +1529,7 @@ impl HirDisplay for Type { | |||
1525 | pub struct Callable { | 1529 | pub struct Callable { |
1526 | ty: Type, | 1530 | ty: Type, |
1527 | sig: FnSig, | 1531 | sig: FnSig, |
1528 | id: CallableDefId, | 1532 | def: Option<CallableDefId>, |
1529 | pub(crate) is_bound_method: bool, | 1533 | pub(crate) is_bound_method: bool, |
1530 | } | 1534 | } |
1531 | 1535 | ||
@@ -1533,19 +1537,21 @@ pub enum CallableKind { | |||
1533 | Function(Function), | 1537 | Function(Function), |
1534 | TupleStruct(Struct), | 1538 | TupleStruct(Struct), |
1535 | TupleEnumVariant(EnumVariant), | 1539 | TupleEnumVariant(EnumVariant), |
1540 | Closure, | ||
1536 | } | 1541 | } |
1537 | 1542 | ||
1538 | impl Callable { | 1543 | impl Callable { |
1539 | pub fn kind(&self) -> CallableKind { | 1544 | pub fn kind(&self) -> CallableKind { |
1540 | match self.id { | 1545 | match self.def { |
1541 | CallableDefId::FunctionId(it) => CallableKind::Function(it.into()), | 1546 | Some(CallableDefId::FunctionId(it)) => CallableKind::Function(it.into()), |
1542 | CallableDefId::StructId(it) => CallableKind::TupleStruct(it.into()), | 1547 | Some(CallableDefId::StructId(it)) => CallableKind::TupleStruct(it.into()), |
1543 | CallableDefId::EnumVariantId(it) => CallableKind::TupleEnumVariant(it.into()), | 1548 | Some(CallableDefId::EnumVariantId(it)) => CallableKind::TupleEnumVariant(it.into()), |
1549 | None => CallableKind::Closure, | ||
1544 | } | 1550 | } |
1545 | } | 1551 | } |
1546 | pub fn receiver_param(&self, db: &dyn HirDatabase) -> Option<ast::SelfParam> { | 1552 | pub fn receiver_param(&self, db: &dyn HirDatabase) -> Option<ast::SelfParam> { |
1547 | let func = match self.id { | 1553 | let func = match self.def { |
1548 | CallableDefId::FunctionId(it) if self.is_bound_method => it, | 1554 | Some(CallableDefId::FunctionId(it)) if self.is_bound_method => it, |
1549 | _ => return None, | 1555 | _ => return None, |
1550 | }; | 1556 | }; |
1551 | let src = func.lookup(db.upcast()).source(db.upcast()); | 1557 | let src = func.lookup(db.upcast()).source(db.upcast()); |
@@ -1565,8 +1571,8 @@ impl Callable { | |||
1565 | .iter() | 1571 | .iter() |
1566 | .skip(if self.is_bound_method { 1 } else { 0 }) | 1572 | .skip(if self.is_bound_method { 1 } else { 0 }) |
1567 | .map(|ty| self.ty.derived(ty.clone())); | 1573 | .map(|ty| self.ty.derived(ty.clone())); |
1568 | let patterns = match self.id { | 1574 | let patterns = match self.def { |
1569 | CallableDefId::FunctionId(func) => { | 1575 | Some(CallableDefId::FunctionId(func)) => { |
1570 | let src = func.lookup(db.upcast()).source(db.upcast()); | 1576 | let src = func.lookup(db.upcast()).source(db.upcast()); |
1571 | src.value.param_list().map(|param_list| { | 1577 | src.value.param_list().map(|param_list| { |
1572 | param_list | 1578 | param_list |
@@ -1577,8 +1583,7 @@ impl Callable { | |||
1577 | .chain(param_list.params().map(|it| it.pat().map(Either::Right))) | 1583 | .chain(param_list.params().map(|it| it.pat().map(Either::Right))) |
1578 | }) | 1584 | }) |
1579 | } | 1585 | } |
1580 | CallableDefId::StructId(_) => None, | 1586 | _ => None, |
1581 | CallableDefId::EnumVariantId(_) => None, | ||
1582 | }; | 1587 | }; |
1583 | patterns.into_iter().flatten().chain(iter::repeat(None)).zip(types).collect() | 1588 | patterns.into_iter().flatten().chain(iter::repeat(None)).zip(types).collect() |
1584 | } | 1589 | } |