Rollup merge of #92303 - Patrick-Poitras:issue-26186, r=jackh726
Add test cases for issue #26186 Closes #26186 It seems that issue #26186 has been solved at some point since the issue has been last updated. I've merged together the examples that were supplied by `@Osspial,` `@Mark-Simulacrum,` `@Diggsey,` `@eefriedman` and `@shepmaster,` so that we can add this to the testing suite and prevent these issues from re-occurring.
This commit is contained in:
commit
052eab54ec
1 changed files with 62 additions and 0 deletions
62
src/test/ui/issues/issue-26186.rs
Normal file
62
src/test/ui/issues/issue-26186.rs
Normal file
|
|
@ -0,0 +1,62 @@
|
|||
// check-pass
|
||||
use std::sync::Mutex;
|
||||
use std::cell::RefCell;
|
||||
use std::rc::Rc;
|
||||
use std::ops::*;
|
||||
|
||||
//eefriedman example
|
||||
struct S<'a, T:FnMut() + 'static + ?Sized>(&'a mut T);
|
||||
impl<'a, T:?Sized + FnMut() + 'static> DerefMut for S<'a, T> {
|
||||
fn deref_mut(&mut self) -> &mut Self::Target { &mut self.0 }
|
||||
}
|
||||
impl<'a, T:?Sized + FnMut() + 'static> Deref for S<'a, T> {
|
||||
type Target = dyn FnMut() + 'a;
|
||||
fn deref(&self) -> &Self::Target { &self.0 }
|
||||
}
|
||||
|
||||
//Ossipal example
|
||||
struct FunctionIcon {
|
||||
get_icon: Mutex<Box<dyn FnMut() -> u32>>,
|
||||
}
|
||||
|
||||
impl FunctionIcon {
|
||||
fn get_icon(&self) -> impl '_ + std::ops::DerefMut<Target=Box<dyn FnMut() -> u32>> {
|
||||
self.get_icon.lock().unwrap()
|
||||
}
|
||||
|
||||
fn load_icon(&self) {
|
||||
let mut get_icon = self.get_icon();
|
||||
let _rgba_icon = (*get_icon)();
|
||||
}
|
||||
}
|
||||
|
||||
//shepmaster example
|
||||
struct Foo;
|
||||
|
||||
impl Deref for Foo {
|
||||
type Target = dyn FnMut() + 'static;
|
||||
fn deref(&self) -> &Self::Target {
|
||||
unimplemented!()
|
||||
}
|
||||
}
|
||||
|
||||
impl DerefMut for Foo {
|
||||
fn deref_mut(&mut self) -> &mut Self::Target {
|
||||
unimplemented!()
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
//eefriedman example
|
||||
let mut f = ||{};
|
||||
let mut s = S(&mut f);
|
||||
s();
|
||||
|
||||
//Diggsey/Mark-Simulacrum example
|
||||
let a: Rc<RefCell<dyn FnMut()>> = Rc::new(RefCell::new(||{}));
|
||||
a.borrow_mut()();
|
||||
|
||||
//shepmaster example
|
||||
let mut t = Foo;
|
||||
t();
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue