Rollup merge of #126337 - oli-obk:nested_gat_opaque, r=lcnr

Add test for walking order dependent opaque type behaviour

r? ```@lcnr```

adding the test for your comment here: https://github.com/rust-lang/rust/pull/122366/files#r1521124754

Author: workingjubilee