nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-10 17:07:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
9f2c21c11f
rust/compiler/rustc_middle/src
History
bors b5e51db16d Auto merge of #112938 - compiler-errors:clause-3, r=oli-obk 
Migrate `TyCtxt::predicates_of` and `ParamEnv::caller_bounds` to `Clause`

The last big change in the series.

I will follow-up with additional filed issues once this PR lands:
- [ ] Investigate making `TypeFoldable<TyCtxt<'tcx>> for ty::Clause<'tcx>` implementation less weird: 2efe091705/compiler/rustc_middle/src/ty/structural_impls.rs (L672)
- [ ] Clean up the elaborator since it should only be emitting child clauses, not predicates
- [ ] Rename identifiers like `pred` and `predicates` to `clause` if they're actually clauses around the codebase
- [ ] Validate that all of the `ToPredicate` impls are acutally still needed, or prune them if they're not

r? `@ghost` until the other branch lands
2023-06-27 03:14:45 +00:00
..
dep_graph Allow LocalDefId as the argument to def_path_str 2023-04-21 22:27:20 +00:00
hir Separate AnonConst from ConstBlock in HIR. 2023-06-02 21:25:18 +00:00
infer opportunistically resolve regions 2023-06-13 22:10:51 +00:00
middle Remove const eval limit and implement an exponential backoff lint instead 2023-05-31 10:24:17 +00:00
mir Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorino 2023-06-27 00:34:49 +00:00
query Migrate predicates_of and caller_bounds to Clause 2023-06-26 23:12:03 +00:00
thir offset_of 2023-04-21 02:14:02 -07:00
traits Migrate predicates_of and caller_bounds to Clause 2023-06-26 23:12:03 +00:00
ty TypeWellFormedInEnv 2023-06-26 23:12:04 +00:00
util Move expansion of query macros in rustc_middle to rustc_middle::query 2023-05-15 08:49:13 +02:00
arena.rs Migrate predicates_of and caller_bounds to Clause 2023-06-26 23:12:03 +00:00
error.rs Use translatable diagnostics in rustc_const_eval 2023-06-01 14:45:18 +00:00
lib.rs s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedList 2023-06-14 09:28:54 +02:00
lint.rs Use Cow in {D,Subd}iagnosticMessage. 2023-05-29 09:23:43 +10:00
macros.rs Simplify CloneLiftImpls and TrivialTypeTraversalImpls. 2023-04-16 14:19:50 +10:00
metadata.rs rustc_metadata: Remove Span from ModChild 2023-04-18 17:25:04 +03:00
tests.rs
thir.rs Remove unused TypeFoldable/TypeVisitable impls. 2023-04-26 15:19:50 +10:00
values.rs EarlyBinder::new -> EarlyBinder::bind 2023-05-29 13:46:10 +02:00