As a suggestion: start simple by building up just your Teensy + one CAN transceiver. Get one of
<these> USB to CAN Analyzer Adapters, which can be used to send & receive known good CAN frames of data & is an excellent tool to assist in troubleshooting your CAN communications. Use that combo to verify that your Teensy can send/receive CAN data. Then expand/add one part at a time until you have all of your components working together as expected and/or intended. Also, make as much use as you can of the example sketches that are provided with each library (in particular, the FlexCAN_T4 library that you plan to use). Contrast that approach with "build your entire final configuration, then find yourself unable to know where to even start looking when things don't work as expected."
This forum has a great group of members (including
@PaulStoffregen, the original creator of & the brains behind the entire Teensy family of products) with a large variety of experience & expertise, as well as a sincere willingness to provide helpful advice & answers. Don't be afraid to ask any questions that you may have, but do at least try to search this forum for the same question to see if it may already have been answered before posting to ask.
Personally, I have used the FlexCAN_T4 library to build a custom tool that I used to monitor and/or diagnose my personal vehicles, connected thru the OBD-II port, so I can vouch for the fact that the library works very well (In my environment & for my application).
Good luck & have some fun along the way !!
Mark J Culross
KD5RXT