summaryrefslogtreecommitdiff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
Commit message (Expand)AuthorAgeFilesLines
* Handle error body when in generator layoutclubby7892023-05-131-1/+1
* Add a convenience functionOli Scherer2023-05-121-8/+1
* Require `impl Trait` in associated types to appear in method signaturesOli Scherer2023-05-121-3/+10
* use implied bounds when checking opaque typesAli MJ Al-Nasrawy2023-05-071-3/+14
* Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors2023-05-041-1/+1
|\
| * Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle2023-04-251-1/+1
* | Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote2023-05-031-12/+9
* | Rollup merge of #108760 - clubby789:autolintstuff, r=wesleywiserMatthias Krüger2023-04-261-3/+1
|\ \
| * | Fix static string lintsclubby7892023-04-251-3/+1
| |/
* | Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger2023-04-251-1/+1
|\ \ | |/ |/|
| * add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda2023-04-201-5/+4
| * add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda2023-04-201-4/+2
| * change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda2023-04-201-3/+6
* | Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer2023-04-211-1/+1
* | Substitute missing item suggestion correctlyMichael Goulet2023-04-191-1/+1
|/
* Use lints via `lint_defs` instead of `lints`Nilstrieb2023-04-161-1/+1
* region error cleanuplcnr2023-04-121-5/+2
* Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray2023-03-301-2/+3
* RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet2023-03-211-2/+10
* IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet2023-03-211-3/+3
* Use local key in providersMichael Goulet2023-03-211-1/+1
* Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino2023-03-151-1/+1
* Remove body_def_id from InheritedMichael Goulet2023-03-091-2/+2
* Tweak E0740Michael Goulet2023-03-081-20/+8
* Don't report E0740 for type errorMichael Goulet2023-03-081-1/+3
* Rollup merge of #108764 - cjgillot:dpm-adapt, r=compiler-errorsMatthias Krüger2023-03-051-0/+8
|\
| * drop_tracking_mir: diagnose recursive generator.Camille GILLOT2023-03-051-0/+8
* | rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov2023-03-021-2/+1
|/
* Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet2023-02-281-4/+36
* Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors2023-02-231-1/+1
|\
| * diagnostics: if AssocFn has self argument, describe as methodMichael Howell2023-02-221-1/+1
* | Remove type-traversal trait aliasesAlan Egerton2023-02-221-2/+3
|/
* Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors2023-02-171-5/+5
|\
| * Copy `ty::AssocItem` all other the placeMaybe Waffle2023-02-151-5/+5
* | remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda2023-02-161-9/+9
* | change usages of type_of to bound_type_ofKyle Matsuda2023-02-161-8/+8
|/
* Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors2023-02-151-69/+40
|\
| * Even less HIR.Camille GILLOT2023-02-141-12/+6
| * Fetch less HIR in signature check.Camille GILLOT2023-02-141-62/+37
| * Add `of_trait` to DefKind::Impl.Camille GILLOT2023-02-141-13/+15
* | s/eval_usize/eval_target_usize/ for clarityOli Scherer2023-02-141-1/+1
|/
* Make visiting traits generic over the InternerAlan Egerton2023-02-131-2/+2
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-131-2/+2
* Auto merge of #106938 - GuillaumeGomez:normalize-projection-field-ty, r=oli-obkbors2023-02-091-1/+1
|\
| * Add missing normalization for union fields typesGuillaume Gomez2023-01-161-1/+1
* | Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez2023-01-311-48/+55
|\ \
| * | Replace enum `==`s with `match`es where it makes senseMaybe Waffle2023-01-301-48/+55
* | | review commentsEsteban Küber2023-01-301-4/+2
* | | Modify primary span label for E0308Esteban Küber2023-01-301-1/+4
|/ /
* | Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT2023-01-281-1/+1