在此 RPITIT 示例中, rustc 似乎出现挂起

我发现一个小例子，在类型检查期间，`rustc`似乎卡住了。