tidy

Author: BoxyUwU

compiler/rustc_borrowck/src/type_check/mod.rs

@@ -1529,12 +1529,12 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
                                     // Trait parameters are Invariant, the only part that actually has subtyping
                                     // here is the lifetime bound of the dyn-type.
                                     //
-                                    // For example in `dyn Trait<'a> + 'b <: dyn Trait<'c> + 'd`  we would require 
+                                    // For example in `dyn Trait<'a> + 'b <: dyn Trait<'c> + 'd`  we would require
                                     // that `'a == 'c` but only that `'b: 'd`.
                                     //
                                     // We must not allow freely casting lifetime bounds of dyn-types as it may allow
                                     // for inaccessible VTable methods being callable: #136702
-                                    // 
+                                    //
                                     // We don't enforce this for casts of principal-less dyn types as their VTables do
                                     // not contain any functions with `Self: 'a` bounds that could start holding after
                                     // a pointer cast.

tests/ui/cast/ptr-to-trait-obj-ok.rs

@@ -6,7 +6,9 @@ fn remove_auto<'a>(x: *mut (dyn Trait<'a> + Send)) -> *mut dyn Trait<'a> {
     x as _
 }
 
-fn cast_inherent_lt<'a: 'b, 'b>(x: *mut (dyn Trait<'static> + 'a)) -> *mut (dyn Trait<'static> + 'b) {
+fn cast_inherent_lt<'a: 'b, 'b>(
+    x: *mut (dyn Trait<'static> + 'a)
+) -> *mut (dyn Trait<'static> + 'b) {
     x as _
 }