diff options
| author | Florian Diebold <[email protected]> | 2021-05-15 15:00:24 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-05-21 16:48:34 +0100 |
| commit | a09079f27aa631b011f6c0703200862d28af81f4 (patch) | |
| tree | 863ab0fbdb3dafed13cdbe1b6b066072c012f1b4 /crates/hir_ty/src/lib.rs | |
| parent | afa6be243587e523d5a2fc218db78568041ff296 (diff) | |
Fix coercion of two closures to a function pointer
Fixes #8604.
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
| -rw-r--r-- | crates/hir_ty/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs index 179a27763..06d5cd0b6 100644 --- a/crates/hir_ty/src/lib.rs +++ b/crates/hir_ty/src/lib.rs | |||
| @@ -167,6 +167,7 @@ pub fn make_canonical<T: HasInterner<Interner = Interner>>( | |||
| 167 | Canonical { value, binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds) } | 167 | Canonical { value, binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds) } |
| 168 | } | 168 | } |
| 169 | 169 | ||
| 170 | // FIXME: get rid of this, just replace it by FnPointer | ||
| 170 | /// A function signature as seen by type inference: Several parameter types and | 171 | /// A function signature as seen by type inference: Several parameter types and |
| 171 | /// one return type. | 172 | /// one return type. |
| 172 | #[derive(Clone, PartialEq, Eq, Debug)] | 173 | #[derive(Clone, PartialEq, Eq, Debug)] |