bors 0eca4dd320 Auto merge of #134465 - lcnr:type-verifier, r=compiler-errors ... cleanup `TypeVerifier` We should merge it with the `TypeChecker` as we no longer bail in cases where it encounters an error since #111863. It's quite inconsistent whether a check lives in the verifier or the `TypeChecker`, so this feels like a quite impactful cleanup. I expect that for this we may want to change the `TypeChecker` to also be a MIR visitor 🤔 this is non-trivial so I didn't fully do it in this PR. Best reviewed commit by commit. r? `@compiler-errors` feel free to reassign however		2024-12-23 04:15:41 +00:00
..
dep_graph	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
hir	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
hooks	Move some code from Compiler::enter to GlobalCtxt::finish	2024-11-09 17:55:39 +00:00
infer	remove non-borrowck member constraints	2024-12-20 10:04:01 +01:00
middle	Make DependencyList an IndexVec	2024-12-19 15:30:32 +00:00
mir	Auto merge of #134465 - lcnr:type-verifier, r=compiler-errors	2024-12-23 04:15:41 +00:00
query	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
thir	Introduce default_field_values feature	2024-12-09 21:55:01 +00:00
traits	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
ty	split up #[rustc_deny_explicit_impl] attribute	2024-12-20 16:57:14 +01:00
util	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
arena.rs	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
error.rs	Move some code from Compiler::enter to GlobalCtxt::finish	2024-11-09 17:55:39 +00:00
lib.rs	move strict provenance lints to new feature gate, remove old feature gates	2024-10-21 15:22:17 +01:00
lint.rs	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
macros.rs	Improve const traits diagnostics for new desugaring	2024-10-02 19:45:17 +08:00
metadata.rs	Re-export more rustc_span::symbol things from rustc_span.	2024-12-18 13:38:53 +11:00
tests.rs	Give an item related to issue 27438 a more meaningful name	2024-04-30 22:27:19 +02:00
thir.rs	Introduce default_field_values feature	2024-12-09 21:55:01 +00:00
values.rs	Rename ty_def_id so people will stop using it by accident	2024-12-13 16:36:38 +00:00