diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/typeck/typeck-default-trait-impl-send-param.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/typeck/typeck-default-trait-impl-send-param.rs b/src/test/ui/typeck/typeck-default-trait-impl-send-param.rs new file mode 100644 index 000000000..7948cd101 --- /dev/null +++ b/src/test/ui/typeck/typeck-default-trait-impl-send-param.rs @@ -0,0 +1,11 @@ +// Test that we do not consider parameter types to be sendable without +// an explicit trait bound. + +fn foo<T>() { + is_send::<T>() //~ ERROR E0277 +} + +fn is_send<T:Send>() { +} + +fn main() { } |