fn infer_under_mut_ref_hack(
rcx: &mut InferCtxt<'_, '_, '_>,
actuals: &[Ty],
fn_sig: EarlyBinder<&PolyFnSig>,
) -> Vec<Ty>Expand description
HACK(nilehmann) This let us infer parameters under mutable references for the simple case
where the formal argument is of the form &mut B[@n], e.g., the type of the first argument
to RVec::get_mut is &mut RVec<T>[@n]. We should remove this after we implement opening of
mutable references.