| 2020-09-21 |
Bastian Kauschke | add test for closures in abstract consts
|
commit | commitdiff | tree |
| 2020-09-21 |
Bastian Kauschke | bless tests
|
commit | commitdiff | tree |
| 2020-09-19 |
Bastian Kauschke | words
|
commit | commitdiff | tree |
| 2020-09-19 |
Bastian Kauschke | wip emit errors during AbstractConst building
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | add `const-evaluatable_checked` check back in
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | review, small cleanup
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | document `const_evaluatable`
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | remove allow(warnings)
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | support const_evaluatable_checked across crate boundaries
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | add test for let-bindings
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | add function calls
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | allow unary operations and ignore StorageLive/Dead...
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | use newtype_index for abstract_const::NodeId
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | refactor AbstractConstBuilder
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | use abstract consts when unifying ConstKind::Unevaluated
|
commit | commitdiff | tree |
| 2020-09-18 |
Bastian Kauschke | initial working state
|
commit | commitdiff | tree |
| 2020-09-14 |
Bastian Kauschke | improve const infer err
|
commit | commitdiff | tree |
| 2020-09-14 |
Bastian Kauschke | shrink const infer error
|
commit | commitdiff | tree |
| 2020-09-13 |
Bastian Kauschke | bless tests
|
commit | commitdiff | tree |
| 2020-09-13 |
Bastian Kauschke | review, improve note span
|
commit | commitdiff | tree |
| 2020-09-13 |
Bastian Kauschke | allow concrete self types in consts
|
commit | commitdiff | tree |
| 2020-09-10 |
Bastian Kauschke | fix tidy, small cleanup
|
commit | commitdiff | tree |
| 2020-09-10 |
Bastian Kauschke | implement `const_evaluatable_checked` feature MVP
|
commit | commitdiff | tree |
| 2020-09-09 |
Bastian Kauschke | fix test on 32 bit systems
|
commit | commitdiff | tree |
| 2020-09-08 |
Bastian Kauschke | fix test
|
commit | commitdiff | tree |
| 2020-09-08 |
Bastian Kauschke | add tracking issue, fix rebase
|
commit | commitdiff | tree |
| 2020-09-08 |
Bastian Kauschke | add tests
|
commit | commitdiff | tree |
| 2020-09-08 |
Bastian Kauschke | review
|
commit | commitdiff | tree |
| 2020-09-08 |
Bastian Kauschke | convert to future compat lint
|
commit | commitdiff | tree |
| 2020-09-08 |
Bastian Kauschke | make `ConstEvaluatable` more strict
|
commit | commitdiff | tree |
| 2020-09-04 |
Bastian Kauschke | add track_caller to `local_def_id_to_hir_id`
|
commit | commitdiff | tree |
| 2020-09-03 |
Bastian Kauschke | rustdoc: fix min_const_generics with ty::Param
|
commit | commitdiff | tree |
| 2020-08-25 |
Bastian Kauschke | VariantDef: move recovered into VariantFlags
|
commit | commitdiff | tree |
| 2020-08-18 |
Bastian Kauschke | change const param ty warning message
|
commit | commitdiff | tree |
| 2020-08-18 |
Bastian Kauschke | run wfcheck in parralel again, add test for 74950
|
commit | commitdiff | tree |
| 2020-08-18 |
Bastian Kauschke | move const param structural match checks to wfcheck
|
commit | commitdiff | tree |
| 2020-08-13 |
Bastian Kauschke | merge `as_local_hir_id` with `local_def_id_to_hir_id`
|
commit | commitdiff | tree |
| 2020-08-13 |
Bastian Kauschke | merge `as_local_hir_id` with `local_def_id_to_hir_id`
|
commit | commitdiff | tree |
| 2020-08-12 |
Bastian Kauschke | allow escaping bound vars when normalizing `ty::Opaque`
|
commit | commitdiff | tree |
| 2020-08-10 |
Bastian Kauschke | unused_delims: trim expr
|
commit | commitdiff | tree |
| 2020-08-08 |
Bastian Kauschke | fix `min_const_generics` version
|
commit | commitdiff | tree |
| 2020-08-07 |
Bastian Kauschke | test min_const_generics using revisions
|
commit | commitdiff | tree |
| 2020-08-06 |
Bastian Kauschke | allow complex expressions in assoc consts
|
commit | commitdiff | tree |
| 2020-08-05 |
Bastian Kauschke | impl review
|
commit | commitdiff | tree |
| 2020-08-05 |
Bastian Kauschke | add tracking issue
|
commit | commitdiff | tree |
| 2020-08-05 |
Bastian Kauschke | forbid complex types for generic parameters
|
commit | commitdiff | tree |
| 2020-08-05 |
Bastian Kauschke | forbid generic params in complex consts
|
commit | commitdiff | tree |
| 2020-08-05 |
Bastian Kauschke | add min_const_generics feature gate
|
commit | commitdiff | tree |
| 2020-08-04 |
Bastian Kauschke | tweak error message
|
commit | commitdiff | tree |
| 2020-08-04 |
Bastian Kauschke | forbid `#[track_caller]` on main
|
commit | commitdiff | tree |
| 2020-08-01 |
Bastian Kauschke | add tracking issue
|
commit | commitdiff | tree |
| 2020-07-31 |
Bastian Kauschke | fix rustdoc generic param order
|
commit | commitdiff | tree |
| 2020-07-31 |
Bastian Kauschke | use Iter<'_, [T; N]> in array_chunks
|
commit | commitdiff | tree |
| 2020-07-31 |
Bastian Kauschke | add note to array_chunks
|
commit | commitdiff | tree |
| 2020-07-30 |
Bastian Kauschke | liballoc export ArrayChunks
|
commit | commitdiff | tree |
| 2020-07-30 |
Bastian Kauschke | add tests for array_chunks
|
commit | commitdiff | tree |
| 2020-07-30 |
Bastian Kauschke | adds `slice::array_chunks`
|
commit | commitdiff | tree |
| 2020-07-30 |
Bastian Kauschke | improve chunks + windows err on size 0
|
commit | commitdiff | tree |
| 2020-07-28 |
Bastian Kauschke | handle ConstEquate in rustdoc
|
commit | commitdiff | tree |
| 2020-07-28 |
Bastian Kauschke | symbol mangling: use ty::print::Print for consts
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | clippy
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | clippy
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | cleanup
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | fix rustdoc
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | it works again :tada:
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | fix rebase
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | directly contain `PredicateAtom` in `PredicateKind...
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | introduce PredicateAtom
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | introduce PredicateAtom
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | add reuse_or_mk_predicate
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | this might be unqualified, but at least it's now quantified
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | refactor query_outlives_constraints_into_obligations
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | clippy
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | this might be unqualified, but at least it's now quantified
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | fix rustdoc
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | split ignore_qualifiers
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | review
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | fix elaborate for predicates with unbound variables
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | clippy
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | rustdoc
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | `PredicateKint` -> `PredicateKind`, the beginning of...
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | progress
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | elaborate
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | subst_supertrait
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | somewhat related cleanup
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | wf
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | convert trivial predicates
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | query_outlives_constraints_into_obligations
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | anonymize_predicate
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | minimal
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | add `PredicateKint`, because who doesn't like bodging
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | update tests
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | forbid generic params inside of anon consts in ty defaults
|
commit | commitdiff | tree |
| 2020-07-27 |
Bastian Kauschke | name `ParamInTyOfConstArg`
|
commit | commitdiff | tree |
| 2020-07-23 |
Bastian Kauschke | slightly adapt const prop
|
commit | commitdiff | tree |
| 2020-07-23 |
Bastian Kauschke | test usage
|
commit | commitdiff | tree |
| 2020-07-23 |
Bastian Kauschke | add more complex param order test
|
commit | commitdiff | tree |
| 2020-07-23 |
Bastian Kauschke | cleanup
|
commit | commitdiff | tree |
| 2020-07-23 |
Bastian Kauschke | fix ICE caused by wrongly ordered generic params
|
commit | commitdiff | tree |
| 2020-07-23 |
Bastian Kauschke | stop sorting generic params
|
commit | commitdiff | tree |
| next |
projects / rust.git / search