XXX: Should this be added or not? constraints for param and var

lang/ast/structs.go

@@ -9993,7 +9993,23 @@ func (obj *ExprVar) Infer() (*types.Type, []*interfaces.UnificationInvariant, er
 
 	// This child call to Infer is an exception to the "Infer must not call
 	// Infer" rule, because we really want the indirection in this case.
-	return expr.Infer()
+	//return expr.Infer()
+	// XXX XXX XXX: Should we add the obj ptr for this case too?
+
+	typ, invariants, err := expr.Infer()
+	if err != nil {
+		return nil, nil, err
+	}
+
+	// This adds the obj ptr, so it's seen as an expr that we need to solve.
+	invar := &interfaces.UnificationInvariant{
+		Expr:   obj,
+		Expect: typ,
+		Actual: typ,
+	}
+	invariants = append(invariants, invar)
+
+	return typ, invariants, nil
 
 	// XXX: alternate equivalent version below...
 
@@ -10231,6 +10247,8 @@ func (obj *ExprParam) Type() (*types.Type, error) {
 // never call another Infer. This Infer returns a quasi-equivalent to my ExprAny
 // invariant idea.
 func (obj *ExprParam) Infer() (*types.Type, []*interfaces.UnificationInvariant, error) {
+	invariants := []*interfaces.UnificationInvariant{}
+
 	// We know this has to be something, but we don't know what. Return
 	// anything, just like my ExprAny invariant would have.
 	typ := obj.Typ
@@ -10241,7 +10259,15 @@ func (obj *ExprParam) Infer() (*types.Type, []*interfaces.UnificationInvariant,
 		}
 	}
 
-	return typ, []*interfaces.UnificationInvariant{}, nil
+	// This adds the obj ptr, so it's seen as an expr that we need to solve.
+	invar := &interfaces.UnificationInvariant{
+		Expr:   obj,
+		Expect: typ,
+		Actual: typ,
+	}
+	invariants = append(invariants, invar)
+
+	return typ, invariants, nil
 }
 
 // Check is checking that the input type is equal to the object that Check is