The bottom type in the initialization type system. Programmers should rarely write this type.

The "FBC" in the name stands for "Freedom Before Commitment", an approach that the Initialization Checker builds upon.