summaryrefslogtreecommitdiffstats
path: root/src/test/ui/rfc-2091-track-caller/tracked-closure.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/rfc-2091-track-caller/tracked-closure.rs
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/rfc-2091-track-caller/tracked-closure.rs')
-rw-r--r--src/test/ui/rfc-2091-track-caller/tracked-closure.rs154
1 files changed, 0 insertions, 154 deletions
diff --git a/src/test/ui/rfc-2091-track-caller/tracked-closure.rs b/src/test/ui/rfc-2091-track-caller/tracked-closure.rs
deleted file mode 100644
index 670c423a7..000000000
--- a/src/test/ui/rfc-2091-track-caller/tracked-closure.rs
+++ /dev/null
@@ -1,154 +0,0 @@
-// run-pass
-
-#![feature(stmt_expr_attributes)]
-#![feature(closure_track_caller)]
-#![feature(generator_trait)]
-#![feature(generators)]
-
-use std::ops::{Generator, GeneratorState};
-use std::pin::Pin;
-use std::panic::Location;
-
-type Loc = &'static Location<'static>;
-
-#[track_caller]
-fn mono_invoke_fn<F: Fn(&'static str, bool) -> (&'static str, bool, Loc)>(
- val: &F
-) -> (&'static str, bool, Loc) {
- val("from_mono", false)
-}
-
-#[track_caller]
-fn mono_invoke_fn_once<F: FnOnce(&'static str, bool) -> (&'static str, bool, Loc)>(
- val: F
-) -> (&'static str, bool, Loc) {
- val("from_mono", false)
-}
-
-#[track_caller]
-fn dyn_invoke_fn_mut(
- val: &mut dyn FnMut(&'static str, bool) -> (&'static str, bool, Loc)
-) -> (&'static str, bool, Loc) {
- val("from_dyn", false)
-}
-
-#[track_caller]
-fn dyn_invoke_fn_once(
- val: Box<dyn FnOnce(&'static str, bool) -> (&'static str, bool, Loc)>
-) -> (&'static str, bool, Loc) {
- val("from_dyn", false)
-}
-
-
-fn test_closure() {
- let mut track_closure = #[track_caller] |first: &'static str, second: bool| {
- (first, second, Location::caller())
- };
- let (first_arg, first_bool, first_loc) = track_closure("first_arg", true);
- let first_line = line!() - 1;
- assert_eq!(first_arg, "first_arg");
- assert_eq!(first_bool, true);
- assert_eq!(first_loc.file(), file!());
- assert_eq!(first_loc.line(), first_line);
- assert_eq!(first_loc.column(), 46);
-
- let (dyn_arg, dyn_bool, dyn_loc) = dyn_invoke_fn_mut(&mut track_closure);
- assert_eq!(dyn_arg, "from_dyn");
- assert_eq!(dyn_bool, false);
- // `FnMut::call_mut` does not have `#[track_caller]`,
- // so this will not match
- assert_ne!(dyn_loc.file(), file!());
-
- let (dyn_arg, dyn_bool, dyn_loc) = dyn_invoke_fn_once(Box::new(track_closure));
- assert_eq!(dyn_arg, "from_dyn");
- assert_eq!(dyn_bool, false);
- // `FnOnce::call_once` does not have `#[track_caller]`
- // so this will not match
- assert_ne!(dyn_loc.file(), file!());
-
-
- let (mono_arg, mono_bool, mono_loc) = mono_invoke_fn(&track_closure);
- let mono_line = line!() - 1;
- assert_eq!(mono_arg, "from_mono");
- assert_eq!(mono_bool, false);
- assert_eq!(mono_loc.file(), file!());
- assert_eq!(mono_loc.line(), mono_line);
- assert_eq!(mono_loc.column(), 43);
-
- let (mono_arg, mono_bool, mono_loc) = mono_invoke_fn_once(track_closure);
- let mono_line = line!() - 1;
- assert_eq!(mono_arg, "from_mono");
- assert_eq!(mono_bool, false);
- assert_eq!(mono_loc.file(), file!());
- assert_eq!(mono_loc.line(), mono_line);
- assert_eq!(mono_loc.column(), 43);
-
- let non_tracked_caller = || Location::caller();
- let non_tracked_line = line!() - 1; // This is the line of the closure, not its caller
- let non_tracked_loc = non_tracked_caller();
- assert_eq!(non_tracked_loc.file(), file!());
- assert_eq!(non_tracked_loc.line(), non_tracked_line);
- assert_eq!(non_tracked_loc.column(), 33);
-}
-
-
-#[track_caller]
-fn mono_generator<F: Generator<String, Yield = (&'static str, String, Loc), Return = ()>>(
- val: Pin<&mut F>
-) -> (&'static str, String, Loc) {
- match val.resume("Mono".to_string()) {
- GeneratorState::Yielded(val) => val,
- _ => unreachable!()
- }
-}
-
-#[track_caller]
-fn dyn_generator(
- val: Pin<&mut dyn Generator<String, Yield = (&'static str, String, Loc), Return = ()>>
-) -> (&'static str, String, Loc) {
- match val.resume("Dyn".to_string()) {
- GeneratorState::Yielded(val) => val,
- _ => unreachable!()
- }
-}
-
-fn test_generator() {
- let generator = #[track_caller] |arg: String| {
- yield ("first", arg.clone(), Location::caller());
- yield ("second", arg.clone(), Location::caller());
- };
-
- let mut pinned = Box::pin(generator);
- let (dyn_ret, dyn_arg, dyn_loc) = dyn_generator(pinned.as_mut());
- assert_eq!(dyn_ret, "first");
- assert_eq!(dyn_arg, "Dyn".to_string());
- // The `Generator` trait does not have `#[track_caller]` on `resume`, so
- // this will not match.
- assert_ne!(dyn_loc.file(), file!());
-
-
- let (mono_ret, mono_arg, mono_loc) = mono_generator(pinned.as_mut());
- let mono_line = line!() - 1;
- assert_eq!(mono_ret, "second");
- // The generator ignores the argument to the second `resume` call
- assert_eq!(mono_arg, "Dyn".to_string());
- assert_eq!(mono_loc.file(), file!());
- assert_eq!(mono_loc.line(), mono_line);
- assert_eq!(mono_loc.column(), 42);
-
- let non_tracked_generator = || { yield Location::caller(); };
- let non_tracked_line = line!() - 1; // This is the line of the generator, not its caller
- let non_tracked_loc = match Box::pin(non_tracked_generator).as_mut().resume(()) {
- GeneratorState::Yielded(val) => val,
- _ => unreachable!()
- };
- assert_eq!(non_tracked_loc.file(), file!());
- assert_eq!(non_tracked_loc.line(), non_tracked_line);
- assert_eq!(non_tracked_loc.column(), 44);
-
-}
-
-fn main() {
- test_closure();
- test_generator();
-}