Module rustc_infer::infer::projection