Я вижу две проблемы в GSL:
1) False negative. В расте их нет, если не считать unsafe и ошибок в brw chk.
2) Это опциональная штука которая никем не используется. Это _большая_ проблема. Например в расте ошибки часто возникают как раз при написании враперов для сишных библиотек, где нужно перенести все лайфтаймы из документации в код.