#include <gsl/gsl>

// ❌ Традиционная проверка
void setAge(Person& p, int age) {
    if (age < 0 || age > 150) {
        throw std::invalid_argument("Invalid age");
    }
    p.age = age;
}

// ✅ GSL: семантика ясна из кода
void setAge(Person& p, int age) {
    Expects(age >= 0 && age <= 150); // Precondition
    p.age = age;
    Ensures(p.age == age); // Postcondition
}

void process(gsl::not_null<int*> data) {
    // Компилятор гарантирует: data != nullptr
    *data = 42; // Безопасно без if
}

for (auto it = v.begin(); it != v.end(); ) {
    if (*it == target)
        it = v.erase(it); // каждый раз сдвиг O(n)
    else
        ++it;
}

v.erase(std::remove(v.begin(), v.end(), target), v.end());