Function ra_ap_hir_ty::make_canonical

pub fn make_canonical<T: HasInterner<Interner = Interner>>(
    value: T, 
    kinds: impl IntoIterator<Item = TyVariableKind>
) -> Canonical<T>