about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-3/+3
2024-05-10De-tuple two `vtable_trait_first_method_offset` args.Nicholas Nethercote-1/+2
2024-05-02shallow resolve in orphan checklcnr-1/+1
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-1/+1
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-0/+3
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-3/+7
2024-04-16Auto merge of #123537 - compiler-errors:shallow, r=lcnrbors-12/+11
2024-04-16Add simple async drop glue generationzetanumbers-0/+3
2024-04-16Fail candidate assembly for erroneous typesGurinder Singh-0/+8
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-12/+11
2024-04-15Stop using PolyTraitRef for closure/coroutine predicates already instantiated...Michael Goulet-2/+2
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-31/+28
2024-04-08Rollup merge of #123367 - jswrenn:layoutify, r=compiler-errorsMatthias Krüger-7/+35
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-7/+35
2024-04-08Actually create ranged int types in the type system.Oli Scherer-3/+23
2024-04-06Add a debug asserts call to match_projection_projections to ensure invariantSantiago Pastorino-0/+2
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-1/+1
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-1/+1
2024-04-04Allow defining opaque types when checking const equality boundsOli Scherer-3/+9
2024-04-04Add some regression tests for opaque types and const genericsOli Scherer-1/+2
2024-04-03move leak check out of candidate evaluationlcnr-14/+62
2024-04-03Auto merge of #122791 - compiler-errors:make-coinductive-always, r=lcnrbors-39/+3
2024-04-01Fix obligation param and bless testsMichael Goulet-40/+18
2024-04-01Instantiate closure-like bounds with placeholders to deal with binders correctlyMichael Goulet-82/+88
2024-03-31Remove EvaluatedToErrStackDependentMichael Goulet-39/+3
2024-03-31Always make inductive cycles as ambig during typeckMichael Goulet-1/+1
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-7/+10
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-7/+10
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-9/+7
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-1/+1
2024-03-22Rollup merge of #122829 - ShoyuVanilla:gen-block-impl-fused-iter, r=compiler-...Matthias Krüger-7/+42
2024-03-22Implement `FusedIterator` for `gen` blockShoyu Vanilla-7/+42
2024-03-21Rollup merge of #122358 - compiler-errors:bound-regions-in-generator, r=lcnrMatthias Krüger-5/+3
2024-03-20Split item bounds and item super predicatesMichael Goulet-14/+10
2024-03-19Do binder folding eagerly in bound_coroutine_hidden_typesMichael Goulet-5/+3
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-7/+8
2024-03-18address nitsLukas Markeffsky-5/+8
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-1/+1
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-5/+3
2024-03-14rebaselcnr-1/+1
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-22/+45
2024-03-12Don't Create `ParamCandidate` When Obligation Contains ErrorsVeera-0/+7
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-7/+7
2024-02-29Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errorsMatthias Krüger-5/+2
2024-02-29Rollup merge of #121654 - compiler-errors:async-fn-for-fn-def, r=oli-obkGuillaume Gomez-6/+16
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-5/+2
2024-02-27Don't emit higher-ranked Future obligations when confirm async Fn goalsMichael Goulet-6/+16
2024-02-27safe transmute: revise safety analysisJack Wrenn-5/+2
2024-02-26Actually use the right closure kind when checking async Fn goalsMichael Goulet-2/+3
2024-02-22freshen: resolve root varslcnr-23/+2