5 // Here the type of `c` is `Option<?T>`, where `?T` is unconstrained.
6 // Because there is data-flow from the `{ return; }` block, which
7 // diverges and hence has type `!`, into `c`, we will default `?T` to
8 // `!`, and hence this code compiles rather than failing and requiring
12 let c = Some({ return; });