rust/tests/ui/vec_box_sized.rs

88 lines
2.0 KiB
Rust
Raw Normal View History

//@no-rustfix
#![allow(dead_code)]
2023-11-08 12:42:58 -06:00
#![feature(allocator_api)]
2023-11-08 15:17:40 -06:00
use std::alloc::{AllocError, Allocator, Layout};
use std::ptr::NonNull;
struct SizedStruct(i32);
struct UnsizedStruct([i32]);
2020-01-23 08:52:41 -06:00
struct BigStruct([i32; 10000]);
struct DummyAllocator;
unsafe impl Allocator for DummyAllocator {
fn allocate(&self, layout: Layout) -> Result<NonNull<[u8]>, AllocError> {
todo!()
}
unsafe fn deallocate(&self, ptr: NonNull<u8>, layout: Layout) {
todo!()
}
}
/// The following should trigger the lint
mod should_trigger {
2023-11-08 15:17:40 -06:00
use super::{DummyAllocator, SizedStruct};
const C: Vec<Box<i32>> = Vec::new();
static S: Vec<Box<i32>> = Vec::new();
struct StructWithVecBox {
sized_type: Vec<Box<SizedStruct>>,
}
struct A(Vec<Box<SizedStruct>>);
struct B(Vec<Vec<Box<(u32)>>>);
fn allocator_global_defined_vec() -> Vec<Box<i32>, std::alloc::Global> {
Vec::new()
}
fn allocator_global_defined_box() -> Vec<Box<i32, std::alloc::Global>> {
Vec::new()
}
fn allocator_match() -> Vec<Box<i32, DummyAllocator>, DummyAllocator> {
Vec::new_in(DummyAllocator)
}
}
/// The following should not trigger the lint
mod should_not_trigger {
2023-11-08 15:17:40 -06:00
use super::{BigStruct, DummyAllocator, UnsizedStruct};
struct C(Vec<Box<UnsizedStruct>>);
2020-01-23 08:52:41 -06:00
struct D(Vec<Box<BigStruct>>);
struct StructWithVecBoxButItsUnsized {
unsized_type: Vec<Box<UnsizedStruct>>,
}
struct TraitVec<T: ?Sized> {
// Regression test for #3720. This was causing an ICE.
inner: Vec<Box<T>>,
}
2023-11-08 12:42:58 -06:00
fn allocator_mismatch() -> Vec<Box<i32, DummyAllocator>> {
Vec::new()
2023-11-08 12:42:58 -06:00
}
}
2020-10-30 13:01:34 -05:00
mod inner_mod {
mod inner {
pub struct S;
}
mod inner2 {
use super::inner::S;
pub fn f() -> Vec<Box<S>> {
vec![]
}
}
}
2023-09-14 16:20:50 -05:00
// https://github.com/rust-lang/rust-clippy/issues/11417
fn in_closure() {
let _ = |_: Vec<Box<dyn ToString>>| {};
}
fn main() {}