Matthias Krüger a84e060173

Rollup merge of #107272 - compiler-errors:new-solver-more-predicates, r=lcnr ...

Implement ObjectSafe and WF in the new solver

r? ``@lcnr``

2023-01-26 06:15:27 +01:00

..

error_reporting

Rollup merge of #106897 - estebank:issue-99430, r=davidtwco

2023-01-25 22:19:52 +01:00

query

Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstrieb

2023-01-20 04:52:28 +00:00

select

Filter predicates first for fast-path type flags

2023-01-20 03:20:17 +00:00

specialize

Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726

2023-01-17 20:21:25 +01:00

auto_trait.rs

…

chalk_fulfill.rs

Store relationships on Inherent

2023-01-22 11:02:28 -03:00

coherence.rs

fix: use LocalDefId instead of HirId in trait res

2023-01-23 11:42:18 +00:00

const_evaluatable.rs

Stop using BREAK & CONTINUE in compiler

2023-01-17 23:17:51 -08:00

engine.rs

fix: use LocalDefId instead of HirId in trait res

2023-01-23 11:42:18 +00:00

fulfill.rs

Store relationships on Inherent

2023-01-22 11:02:28 -03:00

misc.rs

Delay normalization bugs instead of reporting them

2023-01-13 23:19:36 +00:00

mod.rs

fix: use LocalDefId instead of HirId in trait res

2023-01-23 11:42:18 +00:00

object_safety.rs

Stop using BREAK & CONTINUE in compiler

2023-01-17 23:17:51 -08:00

outlives_bounds.rs

fix: use LocalDefId instead of HirId in trait res

2023-01-23 11:42:18 +00:00

project.rs

Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnr

2023-01-17 20:21:28 +01:00

structural_match.rs

Stop using BREAK & CONTINUE in compiler

2023-01-17 23:17:51 -08:00

util.rs

remove unused imports

2022-12-26 15:01:20 +09:00

vtable.rs

instantiate_own doesn't need to return a pair of vectors

2023-01-15 15:29:53 +00:00

wf.rs

Don't normalize obligations in WF goal for the new solver

2023-01-25 21:28:22 +00:00