Custom E0277 diagnostic for Path
This commit is contained in:
parent
e1041c6cd1
commit
ed10a3faae
5 changed files with 26 additions and 1 deletions
|
@ -92,6 +92,7 @@ impl<T: ?Sized> !Send for *mut T { }
|
|||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
#[lang = "sized"]
|
||||
#[rustc_on_unimplemented(
|
||||
on(parent_trait="std::path::Path", label="borrow the `Path` instead"),
|
||||
message="the size for values of type `{Self}` cannot be known at compilation time",
|
||||
label="doesn't have a size known at compile-time",
|
||||
note="to learn more, visit <https://doc.rust-lang.org/book/second-edition/\
|
||||
|
|
|
@ -379,6 +379,9 @@ impl<'a, 'gcx, 'tcx> InferCtxt<'a, 'gcx, 'tcx> {
|
|||
flags.push(("from_method".to_owned(), Some(method.to_string())));
|
||||
}
|
||||
}
|
||||
if let Some(t) = self.get_parent_trait_ref(&obligation.cause.code) {
|
||||
flags.push(("parent_trait".to_owned(), Some(t.to_string())));
|
||||
}
|
||||
|
||||
if let Some(k) = obligation.cause.span.compiler_desugaring_kind() {
|
||||
flags.push(("from_desugaring".to_owned(), None));
|
||||
|
|
|
@ -2,7 +2,7 @@ error[E0277]: the size for values of type `[u8]` cannot be known at compilation
|
|||
--> $DIR/E0277.rs:23:6
|
||||
|
|
||||
LL | fn f(p: Path) { }
|
||||
| ^ doesn't have a size known at compile-time
|
||||
| ^ borrow the `Path` instead
|
||||
|
|
||||
= help: within `std::path::Path`, the trait `std::marker::Sized` is not implemented for `[u8]`
|
||||
= note: to learn more, visit <https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
|
||||
|
|
6
src/test/ui/suggestions/path-by-value.rs
Normal file
6
src/test/ui/suggestions/path-by-value.rs
Normal file
|
@ -0,0 +1,6 @@
|
|||
use std::path::Path;
|
||||
|
||||
fn f(p: Path) { }
|
||||
//~^ ERROR E0277
|
||||
|
||||
fn main() {}
|
15
src/test/ui/suggestions/path-by-value.stderr
Normal file
15
src/test/ui/suggestions/path-by-value.stderr
Normal file
|
@ -0,0 +1,15 @@
|
|||
error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
|
||||
--> $DIR/path-by-value.rs:3:6
|
||||
|
|
||||
LL | fn f(p: Path) { }
|
||||
| ^ borrow the `Path` instead
|
||||
|
|
||||
= help: within `std::path::Path`, the trait `std::marker::Sized` is not implemented for `[u8]`
|
||||
= note: to learn more, visit <https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
|
||||
= note: required because it appears within the type `std::path::Path`
|
||||
= note: all local variables must have a statically known size
|
||||
= help: unsized locals are gated as an unstable feature
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0277`.
|
Loading…
Add table
Reference in a new issue