Function specialization_enabled_in 

pub fn specialization_enabled_in<'tcx>(
    tcx: TyCtxt<'tcx>,
    cnum: CrateNum,
) -> String