about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-35/+37
2024-02-12Auto merge of #120980 - matthiaskrgr:rollup-dsjsqql, r=matthiaskrgrbors-13/+12
2024-02-12Rollup merge of #120972 - lukas-code:autoderef-type-error, r=compiler-errorsMatthias Krüger-3/+7
2024-02-12Rollup merge of #120917 - chenyukang:yukang-dead-parameters, r=compiler-errorsMatthias Krüger-7/+2
2024-02-12fix ICE for deref coercions with type errorsLukas Markeffsky-3/+7
2024-02-12Tweak delayed bug mentions.Nicholas Nethercote-3/+3
2024-02-12Dejargnonize substShoyu Vanilla-35/+37
2024-02-12Improve some codes according to the reviewsFrank King-1/+5
2024-02-12Check representation of unnamed fieldsFrank King-0/+49
2024-02-12remove a bunch of dead parameters in fnyukang-7/+2
2024-02-11Auto merge of #120619 - compiler-errors:param, r=lcnrbors-4/+21
2024-02-10Loosen an assertion to account for stashed errors.Nicholas Nethercote-1/+2
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-1/+4
2024-02-08Rollup merge of #120206 - petrochenkov:somehir, r=compiler-errorsMatthias Krüger-7/+7
2024-02-08Rollup merge of #120103 - compiler-errors:concrete-afits, r=oli-obkMatthias Krüger-35/+53
2024-02-07Do not create param types that differ only by name when comparing intrinsic s...Michael Goulet-4/+21
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-7/+7
2024-02-05Make the error message betterMichael Goulet-4/+53
2024-02-05Allow desugaring async fn in trait to compatible, concrete future typesMichael Goulet-31/+0
2024-02-05Stop bailing out from compilation just because there were incoherent traitsOli Scherer-0/+12
2024-02-04Rollup merge of #120556 - fmease:improve-unused-generic-param-diags, r=oli-obkMatthias Krüger-54/+87
2024-02-01Improve the diagnostics for unused generic parametersLeón Orell Valerian Liehr-54/+87
2024-01-31Auto merge of #120346 - petrochenkov:ownodes, r=oli-obkbors-2/+2
2024-01-30hir: Remove `hir::Map::{owner,expect_owner}`Vadim Petrochenkov-2/+2
2024-01-30Apply suggestions from reviewMichael Goulet-1/+1
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+5
2024-01-30No need to pass region bound pairs to resolve_regions_with_wf_tysMichael Goulet-22/+14
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-6/+6
2024-01-25Auto merge of #119911 - NCGThompson:is-statically-known, r=oli-obkbors-0/+2
2024-01-23Rollup merge of #120270 - compiler-errors:randos, r=lcnrLeón Orell Valerian Liehr-1/+1
2024-01-23Random type checker changesMichael Goulet-1/+1
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-2/+2
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-4/+4
2024-01-22Tweak error counting.Nicholas Nethercote-1/+1
2024-01-21Auto merge of #120100 - oli-obk:astconv_lifetimes, r=BoxyUwUbors-1/+1
2024-01-19Add new intrinsic `is_constant` and optimize `pow`Catherine Flores-0/+2
2024-01-18Auto merge of #120089 - matthiaskrgr:rollup-xyfqrb5, r=matthiaskrgrbors-1/+2
2024-01-18Don't forget that the lifetime on hir types is `'tcx`Oli Scherer-1/+1
2024-01-18Rollup merge of #119967 - ShE3py:patkind-err, r=WaffleLapkinMatthias Krüger-1/+2
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-11/+17
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-10/+58
2024-01-17Add `PatKind::Err`Lieselotte-1/+2
2024-01-14Rework how diagnostic lints are stored.Nicholas Nethercote-2/+2
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-4/+4
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-37/+35
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-25/+10
2024-01-10Shorten some error invocations.Nicholas Nethercote-4/+4
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-41/+53
2024-01-09Rollup merge of #117556 - obeis:static-mut-ref-lint, r=davidtwcoGuillaume Gomez-0/+104
2024-01-08Only compute layout of opaque if coroutine is the cause of an opaque cycleMichael Goulet-9/+26