Update the rest of the compiler with ~[T] changes