使用`typedef`强制类型约束

Question

例如，我必须声明：

typedef int Type1;
typedef int Type2;

我可以强制编译器将Type1和Type2视为不同的类型吗？例如，当我这样做时：

Type1 t1 = 3;
Type2 t2 = t1;

由于类型不同，我可以使第二个作业无效吗？