about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
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
2023-04-25Remove some useless `ty::Binder::dummy` callsMaybe Waffle-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-2/+2
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-4/+2
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-3/+3
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-3/+7
2023-04-12region error cleanuplcnr-9/+2
2023-04-06Make elaborator genericMichael Goulet-1/+1
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+2