| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-09-26 | Call `type_of` for opaque types later in compilation | Matthew Jasper | -3/+3 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -2/+2 |
| 2019-08-02 | Replace "existential" by "opaque" | varkor | -1/+1 |
| 2019-08-02 | Update syntax in existing tests | varkor | -2/+2 |
| 2019-07-03 | typeck: merge opaque type inference logic | David Wood | -0/+22 |
