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 […]
GCC Rust Monthly Report #7 June 2021
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress In the month of June, I’ve focused on working with Trait impl blocks, and enforcing their obligations. This includes associated types and optional traits which are still in progress but need some cleanup and testing. I believe […]