comex

Alternately, `if $cond` could be desugared to `if let bool::true = $cond`, which is more consistent and also works for match guards (although `if let` match guards are [not actually...

> Is there any reason you can't have one vtable for A + B + C and an entirely different vtable for a + c? The benefits of reusing the...

Why can't Rust types just be mapped to the corresponding C types for CFI purposes, e.g. `i32` would be mapped to C `int`? Is the issue with pairs such as...

> Clang distinguishes between those types by using the Itanium C++ ABI mangling as type metadata identifiers for function pointers. It does today, but that could change. Though perhaps Android...

> It would definitely be a breaking change to the language, though not one that is likely to come up fully inside of rust: Or just ```rust extern "C" {...

> Note: in the presence of cross-language LTO you already have to have the Rust side use the precisely correct definitions as the C side or it can trigger UB....

> Neither the current implementation nor what this RFC proposes introduces any constraints to the language (besides forward-edge control flow protection). The language already distinguishes between both its explicitly-sized integer...

> This fix assumes that a user can't in any way create a file owned by another user (unless they have elevated permissions like root). I believe this is the...

> `trait Functor {` To me this looks confusingly similar to `trait Functor`. (And what relationship does that `A` have with the one in the `Fn`?) Alternate strawman: `trait Functor...

Interesting idea! One obstacle might be parsing. Similarly to const generics, you have an expression appearing in type position without advance notice to the parser. With const generics, the current...