| 2023-02-02 |
Michael Goulet | Recover _ as .. in field pattern
|
commit | commitdiff | tree |
| 2023-02-02 |
Michael Goulet | Add a test
|
commit | commitdiff | tree |
| 2023-02-02 |
Michael Goulet | Revert "Teach parser to understand fake anonymous enum...
|
commit | commitdiff | tree |
| 2023-02-01 |
Michael Goulet | Revert "switch to the macos-12-xl builder"
|
commit | commitdiff | tree |
| 2023-02-01 |
Michael Goulet | Erase regions before uninhabited check
|
commit | commitdiff | tree |
| 2023-01-31 |
Michael Goulet | Do not depend on Generator trait when deducing closure...
|
commit | commitdiff | tree |
| 2023-01-30 |
Michael Goulet | Track bound types like bound regions
|
commit | commitdiff | tree |
| 2023-01-30 |
Michael Goulet | nits
|
commit | commitdiff | tree |
| 2023-01-30 |
Michael Goulet | Trait upcasting support in new solver
|
commit | commitdiff | tree |
| 2023-01-30 |
Michael Goulet | Implement unsizing in the new trait solver
|
commit | commitdiff | tree |
| 2023-01-30 |
Michael Goulet | Use ObligationCtxt::new_in_snapshot in satisfied_from_param_env
|
commit | commitdiff | tree |
| 2023-01-28 |
Michael Goulet | Make unsizing_params_for_adt into a query
|
commit | commitdiff | tree |
| 2023-01-27 |
Michael Goulet | Micro-optimization in consider_assumption
|
commit | commitdiff | tree |
| 2023-01-27 |
Michael Goulet | Add some comments
|
commit | commitdiff | tree |
| 2023-01-27 |
Michael Goulet | No need to probe when computing goals
|
commit | commitdiff | tree |
| 2023-01-27 |
Michael Goulet | Use now solver in evaluate_obligation
|
commit | commitdiff | tree |
| 2023-01-26 |
Michael Goulet | Make make_identity take CanonicalVarInfos
|
commit | commitdiff | tree |
| 2023-01-26 |
Michael Goulet | Intern CanonicalVarValues
|
commit | commitdiff | tree |
| 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-25 |
Michael Goulet | Suggest mutable borrows correctly
|
commit | commitdiff | tree |
| 2023-01-25 |
Michael Goulet | Liberate late-bound regions correctly
|
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-23 |
Michael Goulet | Use proper InferCtxt when probing for associated types...
|
commit | commitdiff | tree |
| 2023-01-22 |
Michael Goulet | Remove confusing 'while checking' note from opaque...
|
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 |
| next |
projects / rust.git / search