For soundness and consistency with the subtyping rules and JLS 7, the rules in 18.2.3 need to be changed as follows:

A constraint formula of the form ⟨S <= T⟩, where S and T are type arguments, is reduced as follows:
- If T is a type:
-- If S is a type, the constraint reduces to ***⟨S = T⟩***.