frontend: Extend test for default trait methods

dinfuehr · Oct 15, 2024 · 89c067b · 89c067b
1 parent 0e6d560
commit 89c067b
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/tests/trait/trait-default1.dora b/tests/trait/trait-default1.dora
@@ -1,14 +1,22 @@
 trait Foo {
-    fn f(): Int64 { 0}
+    fn f(): Int64 { 0 }
     fn g(): Int64 { 2 }
 }
 
 impl Foo for String {
     fn f(): Int64 { 1 }
 }
 
+impl Foo for Bool {
+    fn f(): Int64 { 101 }
+}
+
 fn main() {
     let a: String = "foo";
     assert(a.f() == 1);
     assert(a.g() == 2);
+
+    let a: Bool = true;
+    assert(a.f() == 101);
+    assert(a.g() == 2);
 }