Result/Option layout guarantee clarifications#146509

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:res-opt-layout-guaranteesRalfJung/rust:res-opt-layout-guaranteesCopy head branch name to clipboard