Milestone Progress Now that we have pushed through the core of Trait Resolution, we need to move on to more control flow work, including pattern matching, closures and finishing off operator overloading. We also have a goal test case in mind for the end of this milestone https://github.com/BLAKE3-team/BLAKE3/blob/master/reference_impl/reference_impl.rs which with some work, we can remove […]
GCC Rust Weekly Status Report 27
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Last week saw lots of great progress and collaboration within the community. As a result, we can now compile code that will require the expansion of multiple files, super trait support now enforces improved type-bounds handling, and […]
GCC Rust Weekly Status Report 26
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week, I finally finished the Rustc Projection Type system for associated types that inherent generic arguments. This was a complex piece of work that ultimately shapes how we handle type-bounds for super-traits and where constraints in […]
GCC Rust Monthly Report #9 August 2021
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress To complete the Traits milestone, I need to finish my work on super-traits, dynamic trait objects, and operator overloading support. The remaining items will be closed out by these higher-level features. Traits were always going to be […]
GCC Rust Weekly Status Report 25
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Traits have progressed well since the last report; associated types took some experimentation to implement the Placeholder Type correctly such that we resolve the relative type correctly. Now that we have a solid base of associated types […]
GCC Rust Weekly Status Report 24
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress We are getting closer to the end of this milestone and last week saw my long living branch finally getting merged. This branch has added the relevant code to support type bounds, which is the last building […]
GCC Rust Monthly Report #8 July 2021
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress The month of July saw good progress getting through some of the bigger tickets. I was hoping to get my TypeBounds branch merged, which will allow us to make more useful generic code such as: I had […]
GCC Rust Weekly Status Report 23
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week I made good progress in adding Type Coercion code for the first coercion site of assignment expressions, this allows us to implement RawPointers and unsafe. The other major piece of work has been TypeCasts which […]
GCC Rust Weekly Status Report 22
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Last week saw more building blocks being merged to enforce a trait’s constraints onto an impl block. What bjorn3 pointed out, which is pretty neat, is that a super trait is syntatic sugar for a Self TypeParameter […]
GCC Rust Weekly Status Report 21
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week my focus has been on the trait resolver; this will be the building block for the traits milestone. We can use it when we have a TraitImplBlock to enforce the impl conforms to the trait […]