I was trying to use PulsePosition library with T4 and got lots of compilation errors (urgent at least for me... :)). It was compiled using TD 1.48b1 but with TD 1.48b2, I got the same errors:
Arduino: 1.8.9 (Windows 10), TD: 1.48-beta1, Board: "Teensy 4.0, Serial, Faster, US English"
...