about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2022-12-28Rename module compare_method -> compare_impl_itemMichael Goulet-14/+14
2022-12-28make some things less pubMichael Goulet-5/+5
2022-12-27Emit fewer errors on invalid `#[repr(transparent)]` on `enum`Esteban Küber-4/+2
2022-12-25fix more clippy::style findingsMatthias Krüger-4/+1
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-7/+7
2022-12-24Rename some compare_method functionsMichael Goulet-7/+7
2022-12-24Rollup merge of #105975 - jeremystucki:rustc-remove-needless-lifetimes, r=eholkMatthias Krüger-13/+13
2022-12-21Auto merge of #105613 - Nilstrieb:rename-assert_uninit_valid, r=RalfJungbors-4/+4
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-13/+13
2022-12-19Make fast-path for implied wf lint betterMichael Goulet-71/+92
2022-12-19Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-5/+70
2022-12-18remove redundant fn params that were only "used" in recursionMatthias Krüger-4/+3
2022-12-17Rollup merge of #105711 - compiler-errors:rpitit-references-errors, r=eholkMatthias Krüger-0/+2
2022-12-15Rollup merge of #104592 - ComputerDruid:async_check, r=compiler-errorsMatthias Krüger-0/+32
2022-12-14Ensure async trait impls are async (or otherwise return an opaque type)Dan Johnson-0/+32
2022-12-14bail in collect_trait_impl_trait_tys if signatures reference errorsMichael Goulet-0/+2
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-4/+1
2022-12-13Address nitsMichael Goulet-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-5/+5
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-17/+13
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Rename `assert_uninit_valid` intrinsicNilstrieb-4/+4
2022-12-11Add `round_ties_even` to `f32` and `f64`Jules Bertholet-0/+2
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-12-07Auto merge of #104799 - pcc:linkage-fn, r=tmiaskobors-1/+34
2022-12-05On E0195 point at where clause lifetime boundsEsteban Küber-11/+40
2022-12-05Support Option and similar enums as type of static variable with linkage attr...Peter Collingbourne-1/+20
2022-12-05Move linkage type check to HIR analysis and fix semantics issues.Peter Collingbourne-0/+14
2022-12-04Auto merge of #105261 - matthiaskrgr:rollup-9ghhc9c, r=matthiaskrgrbors-17/+16
2022-12-04Use parent function WfCheckingContext to check RPITIT.Camille GILLOT-17/+16
2022-12-04Also avoid creating a terminating scope in mixed chainsest31-13/+13
2022-12-04Improve commentsest31-6/+18
2022-12-03Remove drop order twist of && and || and make them associativeest31-4/+21
2022-12-02Check lifetime param count in collect_trait_impl_trait_tysMichael Goulet-21/+18
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-11/+11
2022-11-28FnCtxt normalization stuffMichael Goulet-0/+2
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-3/+4
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-19/+31
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-1/+1
2022-11-23Use ObligationCtxt::normalizeSantiago Pastorino-17/+4
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+8
2022-11-22Auto merge of #104711 - Dylan-DPC:rollup-gkw1qr8, r=Dylan-DPCbors-43/+37
2022-11-22Rollup merge of #104701 - compiler-errors:rpitit-remove-reempty-hack, r=TaKO8KiDylan DPC-11/+1
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-1/+1
2022-11-22Remove a hack from compare_predicate_entailmentMichael Goulet-11/+1
2022-11-22Delay bug to deduplicate diagnosticsMichael Goulet-8/+10
2022-11-22drive-by: style nitsMichael Goulet-25/+19