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