Richard Smith

I find that treating an omitted initializer as meaning "pick a specific default value" is error-prone and optimizes for the writer at the expense of the reader and potentially at...

We should be able to validate the string literal at compile time during semantic analysis, which is where we currently validate `__intrinsic_xxx` names, so in practice I don't think there'll...

See also previous discussion in #472 and proposal #875 which introduced the current rule.

Even if there were no types that support both addition and concatenation, using distinct operators for addition versus concatenation seems reasonable for expressivity purposes. And I think concatenation is an...

There are a collection of operations in this space, including at least these: * Given a format string and some arguments, insert the arguments into the string ("interpolation"). * Given...

> Interpolation and streaming can likewise be generalized to support arbitrary string-formattable types [...]. In principle binary concatenation could be generalized in that way, but I've never seen that done...

1. There is a consistency argument. If we assume we want literals to have unique types, and we want the type of the `()` literal to be `()`, then should...

> * `CInt` values could be converted to regular integer types as long as their value was in range. So `var i: Int8 = 7;` and `var j: UInt32 =...

I was not able to reproduce this by simply `jj git push`ing any more. I was wondering if this had something to do with my previously having two remotes with...

After trying various things that didn't work, I found I could resolve this conflict by deleting the remote and re-adding it.