Skip to content

Some improvements on the "subtyping" chapter#278

Merged
ehuss merged 2 commits intorust-lang:masterfrom JohnTitor:compile-fail-subtypingJun 11, 2021

Commits

Commits on Jun 10, 2021