Skip to content

Commit

Permalink
Rollup merge of #92303 - Patrick-Poitras:issue-26186, r=jackh726
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
matthiaskrgr authored Dec 27, 2021
2 parents 4d8ba21 + fe80124 commit 052eab5
Showing 1 changed file with 62 additions and 0 deletions.
62 changes: 62 additions & 0 deletions src/test/ui/issues/issue-26186.rs
Original file line number Diff line number Diff line change
@@ -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();
}

0 comments on commit 052eab5

Please sign in to comment.