Lines Matching full:larger

478         /// larger than `isize::MAX`.
551         /// larger than `isize::MAX`.
554             // `&T` with the given metadata is not larger than `isize::MAX`.  in new_unchecked()
623             // elements is no larger in size than `bytes_len.get()`.  in validate_cast_and_convert_metadata()
636             // Lemma 1: A `&T` with `elems` trailing slice elements is no larger  in validate_cast_and_convert_metadata()
642             //   metadata. By Lemma 0, that size is not larger than  in validate_cast_and_convert_metadata()
645             // Lemma 2: A `&T` with `elems` trailing slice elements is no larger  in validate_cast_and_convert_metadata()
647             // `elems` is not larger in size than `bytes_len.get()`. By  in validate_cast_and_convert_metadata()
649             // `bytes_len` is not larger than `isize::MAX`. Because  in validate_cast_and_convert_metadata()
652             // `elems` has size not larger than `isize::MAX`.  in validate_cast_and_convert_metadata()
663             //   `split_at` elems has size not larger than `isize::MAX`.  in validate_cast_and_convert_metadata()