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

..

dep_graph

Move DepKind to rustc_query_system and define it as u16

2023-09-21 17:06:14 +02:00

hir

Don't store lazyness in DefKind

2023-09-26 02:53:59 +00:00

hooks

Add tracing instrumentation, just like queries automatically add it

2023-09-22 09:25:38 +00:00

infer

Remove span from BrAnon.

2023-09-24 09:46:55 +00:00

middle

…

mir

Auto merge of #115025 - ouz-a:ouz_testing, r=lcnr

2023-10-03 10:02:52 +00:00

query

Don't store lazyness in DefKind

2023-09-26 02:53:59 +00:00

thir

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

traits

Check types live across yields in generators too

2023-09-23 04:19:14 +00:00

ty

Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwco

2023-10-03 16:24:15 +02:00

util

Merge ExternProviders into the general Providers struct

2023-09-22 20:15:34 +00:00

arena.rs

…

error.rs

don't point at const usage site for resolution-time errors

2023-09-14 22:34:05 +02:00

lib.rs

Add a way to decouple the implementation and the declaration of a TyCtxt method.

2023-09-22 09:23:15 +00:00

lint.rs

give FutureIncompatibilityReason variants more explicit names

2023-09-22 08:51:18 +02:00

macros.rs

Rename CloneLiftImpls as TrivialLiftImpls.

2023-09-18 09:37:09 +10:00

metadata.rs

…

tests.rs

…

thir.rs

Auto merge of #115887 - RalfJung:pat, r=oli-obk

2023-09-27 13:20:53 +00:00

values.rs

Don't store lazyness in DefKind

2023-09-26 02:53:59 +00:00