Function variant_inhabited_predicate 

fn variant_inhabited_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    adt: AdtDef<'tcx>,
    variant: &VariantDef,
) -> InhabitedPredicate<'tcx>