| 2023-01-26 |
Michael Goulet | Use new solver during selection
|
commit | commitdiff | tree |
| 2023-01-26 |
Michael Goulet | ICE in new solver if we see an inference variable
|
commit | commitdiff | tree |
| 2023-01-26 |
Michael Goulet | Implement Generator and Future
|
commit | commitdiff | tree |
| 2023-01-26 |
Michael Goulet | Report the right fulfillment errors
|
commit | commitdiff | tree |
| 2023-01-25 |
Michael Goulet | Don't normalize obligations in WF goal for the new...
|
commit | commitdiff | tree |
| 2023-01-25 |
Michael Goulet | Implement ObjectSafe and WF in the new solver
|
commit | commitdiff | tree |
| 2023-01-23 |
Michael Goulet | Hack to suppress bad labels in type mismatch inference...
|
commit | commitdiff | tree |
| 2023-01-23 |
Michael Goulet | Don't resolve type var roots in point_at_expr_source_of_infe...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #107029 - albertlarsan68:patch-2, r...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #107015 - cuviper:ra-riscv64, r=Mark...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #106935 - TaKO8Ki:fix-104440, r=cjgillot
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #106749 - glandium:dwarf, r=Mark-Simulacrum
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #106578 - compiler-errors:recursive...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #106144 - tgross35:patch-1, r=Mark...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #106113 - krasimirgg:llvm-16-ext-tyid...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Rollup merge of #103418 - Aaron1011:macro-semicolon...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Address goal nits
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Implement some more predicates
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Add compare-mode-next-solver
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Label closure captures/generator locals that make opaque...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #107131 - notriddle:notriddle/rustdoc...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #107124 - DebugSteven:check-macro-expansion...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #107112 - eltociear:patch-19, r=albertlarsan68
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #107095 - notriddle:notriddle/sidebar...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #107061 - compiler-errors:new-solver...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #107048 - DebugSteven:newer-x-check...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #104672 - Voultapher:unify-sort-modules...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #104347 - notriddle:notriddle/import...
|
commit | commitdiff | tree |
| 2023-01-21 |
Michael Goulet | Rollup merge of #104154 - timrobertsdev:deny-by-default...
|
commit | commitdiff | tree |
| 2023-01-20 |
Michael Goulet | Filter predicates first for fast-path type flags
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Make bare known-bug an error
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Fix known-bug, silence ICE stderr
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | trait solver: Implement Fn traits and tuple trait
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | trait solver: PointerSized
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | swap Ambiguity and Unimplemented in new trait engine
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Assert goal is fully normalized during assemble
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Conditionally encode boolean
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Add test
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Encode whether foreign opaques are TAITs or not
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | HACK: self ty ambiguity hack
|
commit | commitdiff | tree |
| 2023-01-19 |
Michael Goulet | Fix IndexVec::drain_enumerated
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #107045 - notriddle:notriddle/settings...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #107042 - notriddle:notriddle/rustdoc...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #107030 - albertlarsan68:patch-3, r...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #107023 - scottmcm:stop-shouting, r...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #107004 - compiler-errors:new-solver...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #106917 - compiler-errors:const-closure...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #106753 - compiler-errors:rpitit-not...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Rollup merge of #105796 - notriddle:notriddle/rustdoc...
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Handle structural traits more gracefully
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | no subtyping in the new trait solver
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Sized, Copy/Clone
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Auto and alias traits
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Assemble object bound candidates
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | implement consider_assumption
|
commit | commitdiff | tree |
| 2023-01-18 |
Michael Goulet | Canonicalize trait solver response inside probe
|
commit | commitdiff | tree |
| 2023-01-17 |
Michael Goulet | new trait solver: only consider goal changed if response...
|
commit | commitdiff | tree |
| 2023-01-17 |
Michael Goulet | note -> help
|
commit | commitdiff | tree |
| 2023-01-17 |
Michael Goulet | Fix use suggestion span
|
commit | commitdiff | tree |
| 2023-01-16 |
Michael Goulet | Use scope_expr_id from ProbeCtxt
|
commit | commitdiff | tree |
| 2023-01-16 |
Michael Goulet | Properly pluralize 'generic constants'
|
commit | commitdiff | tree |
| 2023-01-16 |
Michael Goulet | ConstBlocks are poly if their substs are poly
|
commit | commitdiff | tree |
| 2023-01-16 |
Michael Goulet | Encode const mir for closures if they're const
|
commit | commitdiff | tree |
| 2023-01-15 |
Michael Goulet | Only suggest adding type param if path being resolved...
|
commit | commitdiff | tree |
| 2023-01-15 |
Michael Goulet | Remove bound_{explicit,}_item_bounds
|
commit | commitdiff | tree |
| 2023-01-15 |
Michael Goulet | drive-by: assert when iterating through InstantiatedPredicates
|
commit | commitdiff | tree |
| 2023-01-15 |
Michael Goulet | Make InstantiatedPredicates impl IntoIterator
|
commit | commitdiff | tree |
| 2023-01-15 |
Michael Goulet | instantiate_own doesn't need to return a pair of vectors
|
commit | commitdiff | tree |
| 2023-01-14 |
Michael Goulet | new trait solver: rebase impl substs for gats correctly
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Unify Opaque/Projection handling in region outlives...
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Delay normalization bugs instead of reporting them
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Check ADT fields for copy implementations considering...
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Rebase and move UI tests
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Suggest lifetime bound in illegal Copy impl
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | copy self type is implied wf
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Check ADT fields for copy implementations considering...
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Rebase conflicts
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Consolidate two almost duplicated fn info extraction...
|
commit | commitdiff | tree |
| 2023-01-13 |
Michael Goulet | Add logic to make IMPLIED_BOUNDS_ENTAILMENT easier...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | is_ty_infer -> is_ty_or_numeric_infer
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Only point at impl self ty in WF if trait predicate...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Don't suggest dyn as parameter to add
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Don't suggest dyn as parameter to add
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Render missing generics suggestion verbosely
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | HACK: Handle escaping bound vars from the canonical...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Implement dummy query responses and a jank instantiate
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Bump IMPLIED_BOUNDS_ENTAILMENT to Deny + ReportNow
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Point at impl self type for impl wf obligations
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Point at HIR types when impl trait ref doesn't normalize
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #106739 - WaffleLapkin:astconv, r=estebank
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #106524 - compiler-errors:constructor...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #106360 - estebank:remove-borrow-suggestion...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #106323 - starkat99:stabilize-f16c_target_fe...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #106170 - compiler-errors:autoderef...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #106097 - mejrs:mir_build2, r=oli-obk
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #103800 - danielhenrymantilla:stabilize...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Rollup merge of #103236 - tspiteri:redoc-int-adc-sbb...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | Revert "Make nested RPITIT inherit the parent opaque...
|
commit | commitdiff | tree |
| 2023-01-12 |
Michael Goulet | RPITITs are not suggestable
|
commit | commitdiff | tree |
| 2023-01-11 |
Michael Goulet | Move autoderef to rustc_hir_analysis
|
commit | commitdiff | tree |
| next |
projects / rust.git / search