скомпилироваться только из-за нарушений правил спецификации, и значит должна отвергаться и вторым компилятором (экстеншены не в счёт)
Борроучекер не ищет нарушения правил лайфтаймов. Он ищет места, где он не может доказать корректность лайфтаймов. И разные боррокчекеры доказывают корректность с разной степенью качества. Так что в стандарте будет написано: "если программа не удовлетворяет правилам 1.8.1-1.8.10000000 (которые просто пересказывают исходники борроучеккра), то она должна быть отвергнута"
Обсуждают сегодня