SE-0446: Nonescapable Types · HackerTrans