diff options
| author | Jonas Schievink <[email protected]> | 2020-07-14 17:59:07 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-07-14 19:27:48 +0100 |
| commit | fdce4d9f5140085c6c362ecbcf837f1b6a7d50ca (patch) | |
| tree | 7418a329ccaa953b5b4c9d3718232c195e2abb46 | |
| parent | 05a9f377ecd15a64f40b2a1d049ad8f83ca8e4a1 (diff) | |
Add FIXME
| -rw-r--r-- | crates/ra_hir_ty/src/traits/chalk/mapping.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk/mapping.rs b/crates/ra_hir_ty/src/traits/chalk/mapping.rs index 5ba2ff51b..3ebb55f77 100644 --- a/crates/ra_hir_ty/src/traits/chalk/mapping.rs +++ b/crates/ra_hir_ty/src/traits/chalk/mapping.rs | |||
| @@ -31,6 +31,7 @@ impl ToChalk for Ty { | |||
| 31 | TypeCtor::Ref(m) => ref_to_chalk(db, m, apply_ty.parameters), | 31 | TypeCtor::Ref(m) => ref_to_chalk(db, m, apply_ty.parameters), |
| 32 | TypeCtor::Array => array_to_chalk(db, apply_ty.parameters), | 32 | TypeCtor::Array => array_to_chalk(db, apply_ty.parameters), |
| 33 | TypeCtor::FnPtr { num_args: _, is_varargs: _ } => { | 33 | TypeCtor::FnPtr { num_args: _, is_varargs: _ } => { |
| 34 | // FIXME: handle is_varargs | ||
| 34 | let substitution = apply_ty.parameters.to_chalk(db).shifted_in(&Interner); | 35 | let substitution = apply_ty.parameters.to_chalk(db).shifted_in(&Interner); |
| 35 | chalk_ir::TyData::Function(chalk_ir::Fn { num_binders: 0, substitution }) | 36 | chalk_ir::TyData::Function(chalk_ir::Fn { num_binders: 0, substitution }) |
| 36 | .intern(&Interner) | 37 | .intern(&Interner) |