pub fn check_tys_might_be_eq<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: check_tys_might_be_eq<'tcx>
) -> Erase<check_tys_might_be_eq<'tcx>>