Ответ 1
An rlib - это обычная статическая библиотека (встроенная в формат ar), которая содержит дополнительные метаданные. Эти метаданные содержат, помимо всего прочего, полное сериализованное абстрактное синтаксическое дерево (AST) для всех дженериков и функций, помеченных #[inline].
Это немного похоже на то, что есть компилятор С++, который перетаскивал файлы заголовков библиотеки в скомпилированный двоичный файл, а затем снова считывал их при связывании с этой библиотекой.