Fix coercion of two closures to a function pointer

Fixes #8604.
This commit is contained in:
Florian Diebold 2021-05-15 16:00:24 +02:00
parent afa6be2435
commit a09079f27a
4 changed files with 48 additions and 56 deletions

View file

@ -167,6 +167,7 @@ pub fn make_canonical<T: HasInterner<Interner = Interner>>(
Canonical { value, binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds) }
}
// FIXME: get rid of this, just replace it by FnPointer
/// A function signature as seen by type inference: Several parameter types and
/// one return type.
#[derive(Clone, PartialEq, Eq, Debug)]