diff options
| author | Charles Lew <crlf0710@gmail.com> | 2022-09-10 19:42:51 +0800 |
|---|---|---|
| committer | Charles Lew <crlf0710@gmail.com> | 2022-09-10 23:50:20 +0800 |
| commit | 1cbbd2aa619555ed76b713062a039530406bbe3a (patch) | |
| tree | 9c944061f7397169fad9a84eb39ba6ce20c3ceba /src | |
| parent | db9d86b58dff2a19d84d5e557641dfbb4cbb3a8d (diff) | |
| download | rust-1cbbd2aa619555ed76b713062a039530406bbe3a.tar.gz rust-1cbbd2aa619555ed76b713062a039530406bbe3a.zip | |
Fix pointer value punning.
Seems this doesn't trigger error on LLVM 15, but let's fix it for better compatibility.
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/codegen/issue-99551.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/codegen/issue-99551.rs b/src/test/ui/codegen/issue-99551.rs new file mode 100644 index 00000000000..f24874c992e --- /dev/null +++ b/src/test/ui/codegen/issue-99551.rs @@ -0,0 +1,21 @@ +// build-pass +#![feature(trait_upcasting)] +#![allow(incomplete_features)] + +pub trait A {} +pub trait B {} + +pub trait C: A + B {} +impl<X: A + B> C for X {} + +pub fn test<'a, T>(view: T) -> Option<&'a mut dyn B> +where + T: IntoIterator<Item = &'a mut dyn B>, +{ + return Some(view.into_iter().next().unwrap()); +} + +fn main() { + let mut a: Vec<Box<dyn C>> = Vec::new(); + test(a.iter_mut().map(|c| c.as_mut() as &mut dyn B)); +} |
