Function specialization_enabled_in 

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