Function apply_subst 

pub fn apply_subst(
    ir: &mut Ir,
    id: InstId,
    subst: &FxHashMap<NameId, InstId>,
) -> InstId

Applies a substitution (type variable -> type) to a type expression. Returns a new InstId with all type variables replaced.