Function polymorphize

fn polymorphize<'tcx>(
    tcx: TyCtxt<'tcx>,
    instance: InstanceKind<'tcx>,
    args: GenericArgsRef<'tcx>,
) -> GenericArgsRef<'tcx>