Michael Goulet d42a3fbd69 Assume we can normalize trait default method RPITITs in param-env instead

2023-02-18 20:36:39 +00:00

..

astconv

Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-bad, r=cjgillot

2023-02-18 13:26:47 +01:00

check

Assume we can normalize trait default method RPITITs in param-env instead

2023-02-18 20:36:39 +00:00

coherence

Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstrieb

2023-02-17 17:42:51 +00:00

collect

Move late-bound arg type checks to resolve_bound_vars

2023-02-18 03:28:54 +00:00

impl_wf_check

add predicate evaluation logic

2023-02-17 09:32:39 +00:00

outlives

Add Clause::ConstArgHasType variant

2023-02-17 09:30:33 +00:00

structured_errors

Copy ty::AssocItem all other the place

2023-02-15 20:22:41 +00:00

variance

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

autoderef.rs

fix: use LocalDefId instead of HirId in trait res

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

bounds.rs

Rework hir Bounds collection

2022-12-28 23:40:09 +00:00

check_unused.rs

Use expect_{use,fn} in a couple of places

2023-01-30 05:50:37 +00:00

collect.rs

Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU

2023-02-17 04:45:15 +00:00

constrained_generic_params.rs

Make visiting traits generic over the Interner

2023-02-13 10:24:49 +00:00

errors.rs

Move autoderef to rustc_hir_analysis

2023-01-11 20:12:57 +00:00

hir_wf_check.rs

Rename folder traits' tcx method to interner

2023-02-13 10:24:51 +00:00

impl_wf_check.rs

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

lib.rs

Use IntoIterator for mk_fn_sig.

2023-02-17 22:24:34 +11:00

structured_errors.rs

…