Note that `BasicBlock` is just an index r? `@RalfJung`
For more information about how rustc works, see the rustc dev guide.
