lcnr
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
1,439 contributions in the last year
Contribution activity
July 2020
Created a pull request in rust-lang/rust that received 29 comments
Support const args in type dependent paths (Take 2)
once more, except it is sound this time
+1,547
−622
•
29
comments
- const generics triage
- cache opt_const_param_of on disc
- add `slice::array_chunks` to std
- add lazy normalization regression tests
- [perf] implement `Default` using const generics
- improve DiscriminantKind handling
- take self by value in ToPredicate
- forbid generic params in the type of const params
- shrink TypeError by 8 bytes
- expected_found `&T` -> `T`
- implement the occurs check for const vars
- Convert more `DefId`s to `LocalDefId`s
- add `lazy_normalization_consts` feature gate
- fix typo
- add `slice::array_chunks` to std
- Provide structured suggestion on unsized fields and fn params
- Avoid "blacklist"
- implement the occurs check for const vars
- Eliminate `ObligationCauseData`.
- typeck: check for infer before type impls trait
- Explain exhaustive matching on {usize,isize} maximum values
- Shrink `grow_amortized()` some more
Created an issue in rust-lang/rust that received 3 comments
Forbid generic parameters in the type of const generic parameters
e.g. do not allow fn foo<T, const N: T>() and foo<const N: usize, const M: [u8; N]>().
While we may want to support this in the future, this should…
3
comments