rust/compiler/rustc_hir_analysis/src
Matthias Krüger 8efbc2cbae
Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwco
a small wf and clause cleanup

- remove `Clause::from_projection_clause`, instead use `ToPredicate`
- change `predicate_obligations` to directly take a `Clause`
- remove some unnecessary `&`
- use clause in `min_specialization` checks where easily applicable
2023-10-03 16:24:15 +02:00
..
astconv Auto merge of #116163 - compiler-errors:lazyness, r=oli-obk 2023-09-27 01:48:53 +00:00
check Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwco 2023-10-03 16:24:15 +02:00
coherence Auto merge of #115821 - obeis:hir-analysis-migrate-diagnostics-5, r=compiler-errors 2023-09-29 00:24:57 +00:00
collect Don't store lazyness in DefKind 2023-09-26 02:53:59 +00:00
impl_wf_check specialization: use clause 2023-09-29 11:47:42 +02:00
outlives refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
structured_errors lower impl const to bind to host effect param 2023-08-06 13:34:53 +00:00
variance Don't store lazyness in DefKind 2023-09-26 02:53:59 +00:00
autoderef.rs Structurally normalize weak and inherent too 2023-08-07 19:05:59 +00:00
bounds.rs Remove constness from TraitPredicate 2023-08-02 15:38:00 +00:00
check_unused.rs inline format!() args from rustc_codegen_llvm to the end (4) 2023-07-25 23:20:28 +02:00
collect.rs don't clone copy types 2023-09-28 00:20:32 +02:00
constrained_generic_params.rs Opaques do not constrain generic params 2023-08-12 17:14:13 +00:00
errors.rs Auto merge of #115821 - obeis:hir-analysis-migrate-diagnostics-5, r=compiler-errors 2023-09-29 00:24:57 +00:00
hir_wf_check.rs Lower generic const items to HIR 2023-07-28 22:21:40 +02:00
impl_wf_check.rs Use {Local}ModDefId in many queries 2023-08-14 07:22:48 +00:00
lib.rs rustc_hir_analysis: add a helper to check function the signature mismatches 2023-09-19 18:15:23 +02:00
structured_errors.rs