[WIP]: Resolve type relative type/const-generic paths in trait solving

[BoxyUwU]

r? @ghost

Literally just opening this so I don't forget the branch name. lol.

[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)

##[endgroup]
[TIMING:end] tool::ToolBuild { build_compiler: Compiler { stage: 0, host: x86_64-unknown-linux-gnu, forced_compiler: false }, target: x86_64-unknown-linux-gnu, tool: "tidy", path: "src/tools/tidy", mode: ToolBootstrap, source_type: InTree, extra_features: [], allow_features: "", cargo_args: [], artifact_kind: Binary } -- 11.734
[TIMING:end] tool::Tidy { compiler: Compiler { stage: 0, host: x86_64-unknown-linux-gnu, forced_compiler: false }, target: x86_64-unknown-linux-gnu } -- 0.000
fmt check
Diff in /checkout/compiler/rustc_type_ir/src/predicate.rs:644:
                 interner,
                 ty::AliasTyKind::Unresolved,
                 ty::AliasTy { def_id: self.def_id, args: self.args, _use_alias_ty_new_instead: () },
-            ).into(),
+            )
+            .into(),
             AliasTermKind::InherentTy => Ty::new_alias(
                 interner,
                 ty::AliasTyKind::Inherent,
fmt: checked 6337 files
Diff in /checkout/compiler/rustc_middle/src/ty/print/pretty.rs:800:
                 }
             }
             ty::Foreign(def_id) => self.print_def_path(def_id, &[])?,
-            ty::Alias(ty::Unresolved | ty::Projection | ty::Inherent | ty::Free, ref data) => data.print(self)?,
+            ty::Alias(ty::Unresolved | ty::Projection | ty::Inherent | ty::Free, ref data) => {
+                data.print(self)?
+            }
             ty::Placeholder(placeholder) => placeholder.print(self)?,
             ty::Alias(ty::Opaque, ty::AliasTy { def_id, args, .. }) => {
                 // We use verbose printing in 'NO_QUERIES' mode, to
Bootstrap failed while executing `test --stage 0 src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
Build completed unsuccessfully in 0:00:48
  local time: Mon Aug 25 19:52:00 UTC 2025
  network time: Mon, 25 Aug 2025 19:52:00 GMT
##[error]Process completed with exit code 1.

[bors]

☔ The latest upstream changes (presumably #146125) made this pull request unmergeable. Please resolve the merge conflicts.

[BoxyUwU]

going to close this. I think this will want some refactorings which @WaffleLapkin is working on to finish first