misc stuff from reading VerifyBound building logic

[BoxyUwU]

No description provided.

[rust-log-analyzer]

The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

fmt check
Diff in /checkout/compiler/rustc_infer/src/infer/outlives/obligations.rs:733:
                     };
 
                     if variance == ty::Bivariant {
-                        return
+                        return;
                     }
 
                     // This method is only called for the args of type aliases which are