examples/basic/test0003.ngr

@@ -0,0 +1 @@
+v = -2370389138213399653i64;

examples/basic/test0004.ngr

@@ -0,0 +1,4 @@
+function u (t,h,z,u,a,f,c) 27u8;
+function s (p,y,k) 10318938949979263534u64;
+o = -98i8;
+print o;

src/type_infer/solve.rs

@@ -847,22 +847,39 @@ pub fn solve_constraints(
         if !changed_something {
             let mut addendums = vec![];
 
-            new_constraints.retain(|x| {
+            macro_rules! default_type {
-                if let Constraint::ConstantNumericType(loc, t) = x {
+                ($addendums: ident, $loc: ident, $t: ident) => {
                     let resty = TypeOrVar::Primitive(PrimitiveType::U64);
-                    addendums.push(Constraint::Equivalent(
+                    $addendums.push(Constraint::Equivalent(
-                        loc.clone(),
+                        $loc.clone(),
-                        t.clone(),
+                        $t.clone(),
                         resty.clone(),
                     ));
-                    warnings.push(TypeInferenceWarning::DefaultedTo(loc.clone(), resty));
+                    warnings.push(TypeInferenceWarning::DefaultedTo($loc.clone(), resty));
                     tracing::trace!("Adding number equivalence");
+                };
+            }
+
+            new_constraints.retain(|x| {
+                if let Constraint::ConstantNumericType(loc, t) = x {
+                    default_type!(addendums, loc, t);
                     false
                 } else {
                     true
                 }
             });
 
+            if addendums.is_empty() {
+                new_constraints.retain(|x| {
+                    if let Constraint::IsSomething(loc, t) = x {
+                        default_type!(addendums, loc, t);
+                        false
+                    } else {
+                        true
+                    }
+                });
+            }
+
             if addendums.is_empty() {
                 if errors.is_empty() {
                     errors = new_constraints