Structs

Used if you want to have pleasant experience when dealing with obligations outside of hir or mir typeck.

Traits