summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-5/+4
2024-04-15Stop using PolyTraitRef for closure/coroutine predicates already instantiated...Michael Goulet-2/+2
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-2/+10
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-68/+82
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-2/+2
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
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-0/+2
2024-03-22Implement `FusedIterator` for `gen` blockShoyu Vanilla-0/+2
2024-03-19Do binder folding eagerly in bound_coroutine_hidden_typesMichael Goulet-5/+3
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-11/+24
2024-02-29Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errorsMatthias Krüger-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-19split `project` into multiple fileslcnr-1/+1
2024-02-13remove questionable calls to `commit_if_ok`lcnr-6/+6
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-36/+90
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-11/+18
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-5/+5
2024-02-06Coroutine closures implement regular Fn traits, when possibleMichael Goulet-9/+17
2024-02-06Regular closures now built-in impls for AsyncFn*Michael Goulet-27/+73
2024-02-06More comments, final tweaksMichael Goulet-0/+2
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+50
2024-01-12OutputTypeParameterMismatch -> SignatureMismatchMichael Goulet-5/+5
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-5/+5
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-5/+6
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-3/+1
2023-12-15Annotate some bugsMichael Goulet-2/+6
2023-12-08Implement `async gen` blocksMichael Goulet-0/+34
2023-12-07Fix const drop checkingMichael Goulet-7/+9
2023-12-06Yeet PolyGenSigMichael Goulet-15/+12
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-11/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-5/+5
2023-11-21Remove ClosureKind predicate kindMichael Goulet-11/+1
2023-11-17rename bound region instantiationlcnr-2/+3
2023-11-13update type flagslcnr-1/+1
2023-11-13continue renaminglcnr-1/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-10-30Some more coroutine renamingsMichael Goulet-4/+4
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+35
2023-10-20s/generator/coroutine/Oli Scherer-17/+17
2023-10-20s/Generator/Coroutine/Oli Scherer-5/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 10:07:48 +0000