Michael Goulet 374173cd99 TypeWellFormedInEnv

2023-06-26 23:12:04 +00:00

..

astconv

TypeWellFormedInEnv

2023-06-26 23:12:04 +00:00

check

Migrate predicates_of and caller_bounds to Clause

2023-06-26 23:12:03 +00:00

coherence

Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr

2023-06-21 07:37:01 +02:00

collect

Migrate predicates_of and caller_bounds to Clause

2023-06-26 23:12:03 +00:00

impl_wf_check

TypeWellFormedInEnv

2023-06-26 23:12:04 +00:00

outlives

TypeWellFormedInEnv

2023-06-26 23:12:04 +00:00

structured_errors

Use Option::is_some_and and Result::is_ok_and in the compiler

2023-05-24 14:20:41 +00:00

variance

Migrate item_bounds to ty::Clause

2023-06-22 18:34:23 +00:00

autoderef.rs

Make TraitEngine::new use the right solver, add compare mode

2023-06-06 18:43:20 +00:00

bounds.rs

Fully fledged Clause type

2023-06-19 15:46:08 +00:00

check_unused.rs

Remove last instances of HashSet in query result types.

2023-03-01 10:20:45 +01:00

collect.rs

Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr

2023-06-20 08:42:37 +00:00

constrained_generic_params.rs

Migrate predicates_of and caller_bounds to Clause

2023-06-26 23:12:03 +00:00

errors.rs

Emit an error when RTN is used with ty/ct params

2023-06-05 19:52:04 +00:00

hir_wf_check.rs

s/Clause/ClauseKind

2023-06-19 14:57:42 +00:00

impl_wf_check.rs

Error on unconstrained lifetime in RPITIT

2023-06-14 05:20:31 +00:00

lib.rs

remove hash_drain_filter feature uses

2023-06-14 09:28:56 +02:00

structured_errors.rs

…