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