Dave Abrahams

on requirements-machine ``` extension Optional where T: Movable { public fun postfix!() sink -> T { if let r: T = self { return r } else { fatal_error("force unwrapping...

Implement exhaustivity checks

1

On requirements-machine branch: ``` public fun force_unwrap(x: sink Optional) -> T { match x { // error: incompatible types '{}' and 'T' // let r: T { return r }...

Ill consumption?

2

I don't know why this compiles. I also don't know why it prints 0 instead of -1. ``` type X: Deinitializable { public var a: Int public memberwise init public...

Almost

1

With the requirement machine branch, this fails ``` conformance Buffer: Collection { public typealias Position = Int public fun start_position() -> Int { 0 } public fun end_position() -> Int...

At f6ee33caa, this should compile: ``` extension Array { init(foo: Int) { self = Array() // error: type 'Element' does not conform to trait 'SemiRegular' } } ```

Shared libs are [currently disabled](https://github.com/hylo-lang/hylo/blob/258dee44fa9556dc8d5dcb0c5b54e94314c5b0a7/CMakeLists.txt#L35); someone needs to diagnose why that hack is needed.

It should match what we do for build-and-test.

These seem to be declared differently than other CMake functions in the project: 1. `run_vcvarsall` 2. `download_cpm` 3. contents of cmake/SystemLink.cmake 4. contents of cmake/Utilities.cmake I can imagine a rationale...

It's lovely that you give instructions for rebinding `magit-mode-map` keys, and I'm really happy to rebind `i`, which I've used by mistake too often. But sometimes I forget what the...