mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add test of NtTy in a qpath

Browse Source 
Currently fails:

    error: expected identifier, found `ToOwned`
      --> src/test/ui/macros/macro-interpolation.rs:23:19
       |
    LL |         <$type as $trait>::$name
       |                   ^^^^^^ expected identifier
    ...
    LL |     let _: qpath!(ty, <str as ToOwned>::Owned);
       |            -----------------------------------
       |            |
       |            this macro call doesn't expand to a type
       |            in this macro invocation
This commit is contained in:
David Tolnay 2021-11-22 19:58:18 -08:00
parent 01800caddf
commit 558ddee2ce
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/test/ui/macros/macro-interpolation.rs
View File

@ -15,13 +15,18 @@ fn $fnname($arg: $ty) -> Option<$ty> $body
} }
macro_rules! qpath { macro_rules! qpath {
(<$type:ty as $trait:path>::$name:ident) => { (path, <$type:ty as $trait:path>::$name:ident) => {
<$type as $trait>::$name
};
(ty, <$type:ty as $trait:ty>::$name:ident) => {
<$type as $trait>::$name <$type as $trait>::$name
}; };
} }
pub fn main() { pub fn main() {
let _: qpath!(<str as ToOwned>::Owned); let _: qpath!(path, <str as ToOwned>::Owned);
let _: qpath!(ty, <str as ToOwned>::Owned);
assert!(overly_complicated!(f, x, Option<usize>, { return Some(x); }, assert!(overly_complicated!(f, x, Option<usize>, { return Some(x); },
Some(8), Some(y), y) == 8) Some(8), Some(y), y) == 8)