144         not_null<std::vector<char>*> p1 = 0; // yay...does not compile!  variable
299     int* p1 = &ints[0];  variable
302     using NotNull1 = not_null<decltype(p1)>;
305     CHECK((NotNull1(p1) == NotNull1(p1)) == true);
306     CHECK((NotNull1(p1) == NotNull2(p2)) == false);
308     CHECK((NotNull1(p1) != NotNull1(p1)) == false);
309     CHECK((NotNull1(p1) != NotNull2(p2)) == true);
311     CHECK((NotNull1(p1) < NotNull1(p1)) == false);
312     CHECK((NotNull1(p1) < NotNull2(p2)) == (p1 < p2));
313     CHECK((NotNull2(p2) < NotNull1(p1)) == (p2 < p1));
315     CHECK((NotNull1(p1) > NotNull1(p1)) == false);
316     CHECK((NotNull1(p1) > NotNull2(p2)) == (p1 > p2));
317     CHECK((NotNull2(p2) > NotNull1(p1)) == (p2 > p1));
319     CHECK((NotNull1(p1) <= NotNull1(p1)) == true);
320     CHECK((NotNull1(p1) <= NotNull2(p2)) == (p1 <= p2));
321     CHECK((NotNull2(p2) <= NotNull1(p1)) == (p2 <= p1));
337         CustomPtr<int> p1(&ints[0]);  variable
339         using NotNull1 = not_null<decltype(p1)>;
340         CHECK(typeid(*NotNull1(p1)) == typeid(*p1));
341         CHECK(*NotNull1(p1) == 42);
342         *NotNull1(p1) = 43;
390     CustomPtr<int> p1(&ints[0]);  variable
393     using NotNull1 = not_null<decltype(p1)>;
396     CHECK((NotNull1(p1) == NotNull1(p1)) == "true");
397     CHECK((NotNull1(p1) == NotNull2(p2)) == "false");
399     CHECK((NotNull1(p1) != NotNull1(p1)) == "false");
400     CHECK((NotNull1(p1) != NotNull2(p2)) == "true");
402     CHECK((NotNull1(p1) < NotNull1(p1)) == "false");
403     CHECK((NotNull1(p1) < NotNull2(p2)) == (p1 < p2));
404     CHECK((NotNull2(p2) < NotNull1(p1)) == (p2 < p1));
406     CHECK((NotNull1(p1) > NotNull1(p1)) == "false");
407     CHECK((NotNull1(p1) > NotNull2(p2)) == (p1 > p2));
408     CHECK((NotNull2(p2) > NotNull1(p1)) == (p2 > p1));
410     CHECK((NotNull1(p1) <= NotNull1(p1)) == "true");
411     CHECK((NotNull1(p1) <= NotNull2(p2)) == (p1 <= p2));
412     CHECK((NotNull2(p2) <= NotNull1(p1)) == (p2 <= p1));
414     CHECK((NotNull1(p1) >= NotNull1(p1)) == "true");
415     CHECK((NotNull1(p1) >= NotNull2(p2)) == (p1 >= p2));
416     CHECK((NotNull2(p2) >= NotNull1(p1)) == (p2 >= p1));
447             int* p1 = nullptr;  in __anondb6e92a30102()  local
448             const not_null x{p1};  in __anondb6e92a30102()
455             const int* p1 = nullptr;  in __anondb6e92a30202()  local
456             const not_null x{p1};  in __anondb6e92a30202()
503             int* p1 = nullptr;  in __anondb6e92a30302()  local
504             const auto x = make_not_null(p1);  in __anondb6e92a30302()
512             const int* p1 = nullptr;  in __anondb6e92a30402()  local
513             const auto x = make_not_null(p1);  in __anondb6e92a30402()