diff options
| -rw-r--r-- | ui-tests/src/bin/unconvertible_type_vec.rs | 8 | ||||
| -rw-r--r-- | ui-tests/src/bin/unconvertible_type_vec.stderr | 5 |
2 files changed, 13 insertions, 0 deletions
diff --git a/ui-tests/src/bin/unconvertible_type_vec.rs b/ui-tests/src/bin/unconvertible_type_vec.rs new file mode 100644 index 0000000..e18e8d1 --- /dev/null +++ b/ui-tests/src/bin/unconvertible_type_vec.rs @@ -0,0 +1,8 @@ +#[dynamize::dynamize] +trait Trait { + type A: std::alloc::Allocator; + + fn a(&self) -> Vec<String, Self::A>; +} + +fn main() {} diff --git a/ui-tests/src/bin/unconvertible_type_vec.stderr b/ui-tests/src/bin/unconvertible_type_vec.stderr new file mode 100644 index 0000000..65306f0 --- /dev/null +++ b/ui-tests/src/bin/unconvertible_type_vec.stderr @@ -0,0 +1,5 @@ +error: dynamize does not know how to convert this type + --> src/bin/unconvertible_type_vec.rs:5:20 + | +5 | fn a(&self) -> Vec<String, Self::A>; + | ^^^ |