Bind the right number of variables in the FnPointer

This commit is contained in:
Jonas Schievink 2021-07-01 20:54:25 +02:00
parent e6fdb38d38
commit cee9a7e26a

View File

@ -68,7 +68,7 @@ impl InferenceContext<'_> {
cov_mark::hit!(dyn_fn_param_informs_call_site_closure_signature);
return Some(FnPointer {
num_binders: 0,
num_binders: bound.len(&Interner),
sig: FnSig {
abi: (),
safety: chalk_ir::Safety::Safe,