Je suis convaincu de la possibilité de construire un allocateur de vérification d'emprunt en utilisant le comptime de Zig, mais je n'ai pas encore d'idée précise sur la façon de procéder.