about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2023-10-16Fix outlives suggestion for GAT in RPITITMichael Goulet-33/+27
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-10-03Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwcoMatthias Krüger-10/+4
2023-09-29a small wf and clause cleanuplcnr-10/+4
2023-09-28make adt_const_params feature suggestion more consistent with others and only...asquared31415-32/+57
2023-09-26Don't store lazyness in DefKindMichael Goulet-7/+3
2023-09-22diagnostics: simpler 83556 handling by bailing outMichael Howell-8/+3
2023-09-21diagnostics: avoid mismatch between variance index and hir genericMichael Howell-3/+24
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-2/+2
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-4/+22
2023-08-02Remove constness from `TraitPredicate`Deadbeef-10/+3
2023-08-02Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...Matthias Krüger-4/+5
2023-08-01Suppress unnecessary outlivesMichael Goulet-4/+5
2023-07-30Check lazy type aliases for well-formednessLeón Orell Valerian Liehr-2/+5
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-88/+11
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-5/+3
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-5/+3
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-41/+50
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-1/+6
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-34/+30
2023-06-25Rollup merge of #113036 - TaKO8Ki:fix-112094, r=compiler-errorsMatthias Krüger-1/+1
2023-06-26accept `ReStatic` for RPITITTakayuki Maeda-1/+1
2023-06-23Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...bors-2/+2
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-2/+2
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-10/+10
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+2
2023-06-17Move WF goal to clauseMichael Goulet-2/+3
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-10/+30
2023-06-13Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholkMatthias Krüger-1/+7
2023-06-06Don't ICE on unsized rust-call abi callMichael Goulet-1/+7
2023-06-06remove `has_error_field` helper methodlcnr-3/+5
2023-06-01Implement custom diagnostic for ConstParamTyMichael Goulet-1/+1
2023-06-01Require that const param tys implement ConstParamTyBoxy-77/+14
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-15/+24
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-9/+9
2023-04-27rename `needs_subst` to `has_param`Boxy-4/+4
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-11/+4
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-3/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 05:52:16 +0000