commit 5ecaea985ba5922a58236800970d0ac954e69735
author David Tolnay <dtolnay@gmail.com> Sat Nov 14 23:25:42 2020 -0800
committer David Tolnay <dtolnay@gmail.com> Sat Nov 14 23:38:41 2020 -0800
tree 7ee28700c82a18c63fe5cf993b9733eb5a263e55
parent 95e74b38c98ab2ab5c9296e441b2c0a7ab325a5b

Exhaustive matching of types and apis in typechecker

syntax/check.rs

diff --git a/syntax/check.rs b/syntax/check.rs
index e8a6448..9249d49 100644
--- a/syntax/check.rs
+++ b/syntax/check.rs
@@ -35,7 +35,7 @@
             Type::CxxVector(ptr) => check_type_cxx_vector(cx, ptr),
             Type::Ref(ty) => check_type_ref(cx, ty),
             Type::Slice(ty) => check_type_slice(cx, ty),
-            _ => {}
+            Type::Str(_) | Type::Fn(_) | Type::Void(_) | Type::SliceRefU8(_) => {}
         }
     }
 
@@ -46,7 +46,7 @@
             Api::CxxType(ety) | Api::RustType(ety) => check_api_type(cx, ety),
             Api::CxxFunction(efn) | Api::RustFunction(efn) => check_api_fn(cx, efn),
             Api::Impl(imp) => check_api_impl(cx, imp),
-            _ => {}
+            Api::Include(_) | Api::TypeAlias(_) => {}
         }
     }
 }