summaryrefslogtreecommitdiff
path: root/solutions
diff options
context:
space:
mode:
Diffstat (limited to 'solutions')
-rw-r--r--solutions/14_generics/generics1.rs18
1 files changed, 17 insertions, 1 deletions
diff --git a/solutions/14_generics/generics1.rs b/solutions/14_generics/generics1.rs
index 4e18198..e2195fd 100644
--- a/solutions/14_generics/generics1.rs
+++ b/solutions/14_generics/generics1.rs
@@ -1 +1,17 @@
-// Solutions will be available before the stable release. Thank you for testing the beta version 🥰
+// `Vec<T>` is generic over the type `T`. In most cases, the compiler is able to
+// infer `T`, for example after pushing a value with a concrete type to the vector.
+// But in this exercise, the compiler needs some help through a type annotation.
+
+fn main() {
+ // `u8` and `i8` can both be converted to `i16`.
+ let mut numbers: Vec<i16> = Vec::new();
+ // ^^^^^^^^^^ added
+
+ // Don't change the lines below.
+ let n1: u8 = 42;
+ numbers.push(n1.into());
+ let n2: i8 = -1;
+ numbers.push(n2.into());
+
+ println!("{numbers:?}");
+}