Sparrow - C++ Type Checker

Let's start with a problem. #include <iostream> #include <utility> struct Person { Person(int a) : age(a) {} int age = -1; }; int main() { Person p1(40); Person p2 = std::move(p1); std::cout << "Age of Person 1: " << p1.age << " years" <<...