Rollup merge of #71310 - JohnTitor:dont-did, r=estebank
Do not show DefId in diagnostics Fixes #71222 r? @estebank cc @eddyb
This commit is contained in:
commit
ab44c7701e
@ -639,9 +639,7 @@ pub trait PrettyPrinter<'tcx>:
|
||||
}
|
||||
}
|
||||
} else {
|
||||
// Cross-crate closure types should only be
|
||||
// visible in codegen bug reports, I imagine.
|
||||
p!(write("@{:?}", did));
|
||||
p!(write("@{}", self.tcx().def_path_str(did)));
|
||||
|
||||
if substs.as_generator().is_valid() {
|
||||
let upvar_tys = substs.as_generator().upvar_tys();
|
||||
@ -689,9 +687,7 @@ pub trait PrettyPrinter<'tcx>:
|
||||
}
|
||||
}
|
||||
} else {
|
||||
// Cross-crate closure types should only be
|
||||
// visible in codegen bug reports, I imagine.
|
||||
p!(write("@{:?}", did));
|
||||
p!(write("@{}", self.tcx().def_path_str(did)));
|
||||
|
||||
if substs.as_closure().is_valid() {
|
||||
let upvar_tys = substs.as_closure().upvar_tys();
|
||||
|
@ -1,7 +1,5 @@
|
||||
// aux-build: issue_67893.rs
|
||||
// edition:2018
|
||||
// dont-check-compiler-stderr
|
||||
// FIXME(#71222): Add above flag because of the difference of stderrs on some env.
|
||||
|
||||
extern crate issue_67893;
|
||||
|
||||
|
24
src/test/ui/async-await/issues/issue-67893.stderr
Normal file
24
src/test/ui/async-await/issues/issue-67893.stderr
Normal file
@ -0,0 +1,24 @@
|
||||
error[E0277]: `std::sync::MutexGuard<'_, ()>` cannot be sent between threads safely
|
||||
--> $DIR/issue-67893.rs:9:5
|
||||
|
|
||||
LL | fn g(_: impl Send) {}
|
||||
| ---- required by this bound in `g`
|
||||
...
|
||||
LL | g(issue_67893::run())
|
||||
| ^ `std::sync::MutexGuard<'_, ()>` cannot be sent between threads safely
|
||||
|
|
||||
::: $DIR/auxiliary/issue_67893.rs:7:20
|
||||
|
|
||||
LL | pub async fn run() {
|
||||
| - within this `impl std::future::Future`
|
||||
|
|
||||
= help: within `impl std::future::Future`, the trait `std::marker::Send` is not implemented for `std::sync::MutexGuard<'_, ()>`
|
||||
= note: required because it appears within the type `for<'r, 's, 't0, 't1, 't2, 't3> {std::future::ResumeTy, std::sync::Arc<std::sync::Mutex<()>>, &'r std::sync::Mutex<()>, std::result::Result<std::sync::MutexGuard<'s, ()>, std::sync::PoisonError<std::sync::MutexGuard<'t0, ()>>>, &'t1 std::sync::MutexGuard<'t2, ()>, std::sync::MutexGuard<'t3, ()>, (), impl std::future::Future}`
|
||||
= note: required because it appears within the type `[static generator@issue_67893::run::{{closure}}#0 for<'r, 's, 't0, 't1, 't2, 't3> {std::future::ResumeTy, std::sync::Arc<std::sync::Mutex<()>>, &'r std::sync::Mutex<()>, std::result::Result<std::sync::MutexGuard<'s, ()>, std::sync::PoisonError<std::sync::MutexGuard<'t0, ()>>>, &'t1 std::sync::MutexGuard<'t2, ()>, std::sync::MutexGuard<'t3, ()>, (), impl std::future::Future}]`
|
||||
= note: required because it appears within the type `std::future::from_generator::GenFuture<[static generator@issue_67893::run::{{closure}}#0 for<'r, 's, 't0, 't1, 't2, 't3> {std::future::ResumeTy, std::sync::Arc<std::sync::Mutex<()>>, &'r std::sync::Mutex<()>, std::result::Result<std::sync::MutexGuard<'s, ()>, std::sync::PoisonError<std::sync::MutexGuard<'t0, ()>>>, &'t1 std::sync::MutexGuard<'t2, ()>, std::sync::MutexGuard<'t3, ()>, (), impl std::future::Future}]>`
|
||||
= note: required because it appears within the type `impl std::future::Future`
|
||||
= note: required because it appears within the type `impl std::future::Future`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0277`.
|
Loading…
Reference in New Issue
Block a user