might not track subtyping relations between infer vars for the occurs check

[lcnr]

cc rust-lang/rust#110202

opening to make sure we don't forget this as part of the stabilization report or whatever