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