llvm-project/libcxx/test/std/ranges/range.req/range.sized
..
sized_range.compile.pass.cpp
subsumption.compile.pass.cpp