On 22/08/2019 03:42, ISHIKAWA, Chiaki wrote:
At the same time, I have a feeling that the debug symbol that rustc generates may be a tad bigger than I would like it to be, but I need to investigate more about this.
Sounds like this known bug of rustc: https://github.com/rust-lang/rust/issues/56068 -- Simon Sapin _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform