Drive-by microopt - remove duplicated subtype query (#46560)

`typeintersect` already performs this subtype query internally
as the first thing it does, so just check after the fact rather
than duplicating the query.

Author: Keno

base/compiler/typelattice.jl

@@ -395,10 +395,10 @@ function tmeet(@nospecialize(v), @nospecialize(t::Type))
     elseif isa(v, PartialStruct)
         has_free_typevars(t) && return v
         widev = widenconst(v)
-        if widev <: t
+        ti = typeintersect(widev, t)
+        if ti === widev
             return v
         end
-        ti = typeintersect(widev, t)
         valid_as_lattice(ti) || return Bottom
         @assert widev <: Tuple
         new_fields = Vector{Any}(undef, length(v.fields))