about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2022-09-09rename `codegen_fulfill_obligation`lcnr-1/+1
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-2/+6
2022-08-26Auto merge of #100705 - compiler-errors:issue-100620, r=oli-obkbors-3/+10
2022-08-24Rollup merge of #100888 - spastorino:coherence-negative-impls-implied-bounds,...Matthias Krüger-0/+1
2022-08-23Move InferCtxtExt to rustc_trait_selectionSantiago Pastorino-0/+1
2022-08-22remove hack fix since we don't have no overflow diagnosticyukang-3/+0
2022-08-21Rework point-at-argMichael Goulet-2/+12
2022-08-18Avoid overflow in is_impossible_methodMichael Goulet-3/+10
2022-08-09Rollup merge of #100221 - compiler-errors:impossible-trait-items, r=lcnr,notr...Dylan DPC-1/+76
2022-08-07Don't document impossible to call default trait items on implsMichael Goulet-1/+77
2022-08-04Address nitsMichael Goulet-0/+8
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-7/+36
2022-08-04Use ObligationCtxt in impossible_predicatesMichael Goulet-12/+5
2022-08-04Remove FulfillmentContext param from fully_normalizeMichael Goulet-11/+10
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-1/+1
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-1/+1
2022-07-25Remove non-descriptive boolean from search_for_structural_match_violationMichael Goulet-1/+3
2022-07-25Get rid of redundant NonStructuralMatchTyKindMichael Goulet-1/+0
2022-07-21move `considering_regions` to the infcxlcnr-16/+16
2022-07-15provide `generic_param_scope` for region errorslcnr-15/+23
2022-07-15try to avoid `FnCtxt` during wflcnr-1/+1
2022-07-14Fix overlapping implskadmin-1/+1
2022-07-12Move abstract const to rustc_middle::tykadmin-15/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-0/+1
2022-07-04remove an unused `DefId`lcnr-15/+3
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-6/+2
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-5/+3
2022-05-28Initial fixes on top of type interner commitMichael Goulet-3/+3
2022-05-24give correct error message on structural match violationb-naber-1/+1
2022-05-07Do not report overflow error.Camille GILLOT-0/+3
2022-05-07Cleanup opaque type storage after checking impossible predicates.Camille GILLOT-0/+3
2022-05-07Also check TraitRef with impossible predicates.Camille GILLOT-0/+8
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-1/+4
2022-03-22fix previous failures and address reviewb-naber-1/+4
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-3/+3
2022-03-16rustc_error: make ErrorReported impossible to constructmark-6/+8
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-3/+3
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-5/+5
2022-02-19rustc_trait_selection: adopt let else in more placesest31-17/+10
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-15initial revertEllen-1/+1
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-10/+26
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-26/+10
2021-11-29Completely remove ConstnessAndOli Scherer-2/+1
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-3/+10
2021-11-29Add constness to ParamEnvOli Scherer-5/+15
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-10/+6
2021-11-14Fix span for non-satisfied trivial trait boundsNilstrieb-1/+2