about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-30/+27
2023-10-13Stabilize AFIT and RPITITMichael Goulet-3/+3
2023-10-13Format all the let chains in compilerMichael Goulet-30/+27
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-2/+2
2023-09-28Auto merge of #115659 - compiler-errors:itp, r=cjgillotbors-132/+3
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-23Enable drop_tracking_mir by default.Camille GILLOT-8/+1
2023-09-23Check types live across yields in generators tooMichael Goulet-1/+20
2023-09-19Don't complain on a single non-exhaustive 1-zstMichael Goulet-19/+29
2023-09-17Auto merge of #115334 - RalfJung:transparent-aligned-zst, r=compiler-errorsbors-37/+21
2023-09-14Paper over an accidental regressionOli Scherer-1/+9
2023-09-08Stabilize impl_trait_projectionsMichael Goulet-132/+3
2023-08-29repr(transparent): it's fine if the one non-1-ZST field is a ZSTRalf Jung-37/+21
2023-08-19Do not compute unneeded results.Camille GILLOT-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-2/+2
2023-08-13Add typed `{Local}DefId` for modulesNilstrieb-1/+1
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-124/+28
2023-08-08Simplify via map_rpit_lifetime_to_fn_lifetimeMichael Goulet-144/+11
2023-08-08Stop using identity args for opaque type wf checks and instead load the args ...Oli Scherer-76/+113
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-07-30No need to expect RPITIT projections in opaque item boundsMichael Goulet-15/+1
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-3/+3
2023-07-25Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnrMatthias Krüger-4/+175
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-3/+3
2023-07-25Try explaining where `Inner` is in the signature betterOli Scherer-1/+1
2023-07-24Explain RPITs in the way they actually workOli Scherer-10/+16
2023-07-24Some documentation nitsOli Scherer-7/+30
2023-07-24Explain what the heck is going on with this lifetime remapping businessOli Scherer-5/+12
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-4/+139
2023-07-21error/E0691: include alignment in error messageDavid Rheinsberg-10/+19
2023-07-15Check entry type as part of item type checking.Camille GILLOT-1/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-38/+38
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-17/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 09:51:32 +0000