| 2021-03-25 |
Jack Huey | Bless nll test
|
commit | commitdiff | tree |
| 2021-03-24 |
Jack Huey | Review comments
|
commit | commitdiff | tree |
| 2021-03-24 |
Jack Huey | resolve late lifetimes by item
|
commit | commitdiff | tree |
| 2021-03-15 |
Jack Huey | Make functions passed to BoundVarReplacer be optional
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81671 - jackh726:atb-tests, r=estebank
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81665 - jacob-hughes:mir_doc_fix,...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81655 - matsujika:suggest-accessing...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81647 - m-ou-se:assert-2021-fix, r...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81636 - LingMan:slice_not_vec, r=petrochenkov
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81634 - jesusprubio:jesusprubio/add...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81603 - ehuss:error-index-build, r...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81588 - xfix:delete-doc-alias, r=Mark...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81544 - JulianKnodt:sat_where, r=lcnr
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81530 - ojeda:sys-use-abort-instead...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81517 - tmiasko:san-crates, r=Mark...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81455 - Amanieu:aarch64_ilp32, r=sanxiyn
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81260 - vn971:restore-editorconfig...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #81260 - vn971:restore-editorconfig...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Rollup merge of #80593 - jackh726:chalk-upgrade, r...
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | More associated type tests
|
commit | commitdiff | tree |
| 2021-02-02 |
Jack Huey | Update Chalk
|
commit | commitdiff | tree |
| 2021-02-01 |
Jack Huey | Upgrade Chalk
|
commit | commitdiff | tree |
| 2021-01-28 |
Jack Huey | Add some test for ATB issues
|
commit | commitdiff | tree |
| 2021-01-17 |
Jack Huey | Whitespace and typo
|
commit | commitdiff | tree |
| 2021-01-17 |
Jack Huey | Add comment about Encodable/Decodable impl
|
commit | commitdiff | tree |
| 2021-01-17 |
Jack Huey | Don't derive TyEncodable/TyDecodable for Binder
|
commit | commitdiff | tree |
| 2021-01-17 |
Jack Huey | Impl EncodableWithShorthand for PredicateKind
|
commit | commitdiff | tree |
| 2021-01-17 |
Jack Huey | Can't use EncodableWithShorthand for Predicate
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Review changes
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | More review comments
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Review changes
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Cleanup
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Use no_bound_vars
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Cleanup
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Use pred not binder
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Use pred not binder
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Cleanup
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Cleanup
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Remove PredicateKind
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | fold_with not super_fold_with in TypeFoldable impl...
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Remove PredicateKind::Atom
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Remove PredicateKind
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Intermediate formatting and such
|
commit | commitdiff | tree |
| 2021-01-16 |
Jack Huey | Remove PredicateKind::Atom
|
commit | commitdiff | tree |
| 2020-12-19 |
Jack Huey | More rebinds
|
commit | commitdiff | tree |
| 2020-12-19 |
Jack Huey | More rebinds
|
commit | commitdiff | tree |
| 2020-12-18 |
Jack Huey | Change potentially_qualified to be defined on Binder...
|
commit | commitdiff | tree |
| 2020-12-18 |
Jack Huey | Make BoundRegion have a kind of BoungRegionKind
|
commit | commitdiff | tree |
| 2020-12-18 |
Jack Huey | Make BoundRegion have a kind of BoungRegionKind
|
commit | commitdiff | tree |
| 2020-12-17 |
Jack Huey | Bless NLL test
|
commit | commitdiff | tree |
| 2020-12-14 |
Jack Huey | Add explanation for skip_binder in relate
|
commit | commitdiff | tree |
| 2020-12-11 |
Jack Huey | Move binder for dyn to each list item
|
commit | commitdiff | tree |
| 2020-12-11 |
Jack Huey | Move binder for dyn to each list item
|
commit | commitdiff | tree |
| 2020-12-11 |
Jack Huey | Move binder for dyn to each list item
|
commit | commitdiff | tree |
| 2020-10-29 |
Jack Huey | Make anonymous binders start at 0
|
commit | commitdiff | tree |
| 2020-10-16 |
Jack Huey | Review comments
|
commit | commitdiff | tree |
| 2020-10-16 |
Jack Huey | map_bound_ref -> rebind
|
commit | commitdiff | tree |
| 2020-10-16 |
Jack Huey | Review comments
|
commit | commitdiff | tree |
| 2020-10-16 |
Jack Huey | Use map_bound(_ref) instead of Binder::bind when possible
|
commit | commitdiff | tree |
| 2020-10-06 |
Jack Huey | Update to chalk 0.31. Implement some unimplemented...
|
commit | commitdiff | tree |
| 2020-09-04 |
Jack Huey | kind -> kind()
|
commit | commitdiff | tree |
| 2020-09-04 |
Jack Huey | Bless changed test output
|
commit | commitdiff | tree |
| 2020-09-04 |
Jack Huey | Review comments
|
commit | commitdiff | tree |
| 2020-09-04 |
Jack Huey | More chalk work
|
commit | commitdiff | tree |
| 2020-09-04 |
Jack Huey | Upgrade chalk to 0.21
|
commit | commitdiff | tree |
| 2020-06-24 |
Jack Huey | Update Chalk
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Return type is bound too
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Change InternedAdtDef to &'tcx AdtDef
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Nits and change skip_binder to no_bound_vars for fndef
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Fix building
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Lower consts
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Update chalk and add LifetimeOutlives and ObjectSafe...
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Update Chalk
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Test error order is non-deterministic
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Remove RustDefId
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Implement fn_def_datum
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Use builtin types for Never, Array, and FnDef
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Update chalk
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Update chalk
|
commit | commitdiff | tree |
| 2020-06-19 |
Jack Huey | Add compare-mode=chalk and add a little bit more implementat...
|
commit | commitdiff | tree |
| 2020-05-12 |
Jack Huey | Remove ty::UnnormalizedProjection
|
commit | commitdiff | tree |
| 2020-05-11 |
Jack Huey | Fix nit and cargo.lock
|
commit | commitdiff | tree |
| 2020-05-07 |
Jack Huey | Fix nit and cargo.lock
|
commit | commitdiff | tree |
| 2020-05-07 |
Jack Huey | Fix nit and cargo.lock
|
commit | commitdiff | tree |
| 2020-05-07 |
Jack Huey | Reintegrate chalk using chalk-solve
|
commit | commitdiff | tree |
| 2020-05-01 |
Jack Huey | Remove leftover chalk types
|
commit | commitdiff | tree |
|
projects / rust.git / search