summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2023-07-07Avoid calling report_forbidden_specialization for RPITITsSantiago Pastorino-2/+11
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+3
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-7/+10
2023-06-29Intern OpaqueTy on ItemKind::OpaqueTySantiago Pastorino-1/+1
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-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+2
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-1/+1
2023-06-02Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errorsMatthias Krüger-2/+2
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-1/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-2/+2
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-6/+5
2023-05-13Handle error body when in generator layoutclubby789-1/+1
2023-05-12Add a convenience functionOli Scherer-8/+1
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-3/+10
2023-05-07use implied bounds when checking opaque typesAli MJ Al-Nasrawy-3/+14
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-12/+9
2023-04-26Rollup merge of #108760 - clubby789:autolintstuff, r=wesleywiserMatthias Krüger-3/+1
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-1/+1
2023-04-25Fix static string lintsclubby789-3/+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-1/+1
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-5/+4
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-4/+2
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-3/+6
2023-04-19Substitute missing item suggestion correctlyMichael Goulet-1/+1
2023-04-16Use lints via `lint_defs` instead of `lints`Nilstrieb-1/+1
2023-04-12region error cleanuplcnr-5/+2
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+3
2023-03-21RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet-2/+10
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-3/+3
2023-03-21Use local key in providersMichael Goulet-1/+1
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-2/+2
2023-03-08Tweak E0740Michael Goulet-20/+8
2023-03-08Don't report E0740 for type errorMichael Goulet-1/+3
2023-03-05Rollup merge of #108764 - cjgillot:dpm-adapt, r=compiler-errorsMatthias Krüger-0/+8
2023-03-05drop_tracking_mir: diagnose recursive generator.Camille GILLOT-0/+8
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+1
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-4/+36
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+3
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-5/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-9/+9
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-8/+8
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-5/+5
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-69/+40