https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.62.0 2022-05-14T23:53:11+00:00 2022-05-14T23:53:11+00:00 bors bors@rust-lang.org 2022-05-14T23:53:11+00:00 urn:sha1:2a8a0fc4237da544aca0d6631ee467891caad9ad Add EarlyBinder Chalk has no concept of `Param` (https://github.com/rust-lang/chalk/blob/e0ade19d139bc784384acc6736cd960c91dd55a1/chalk-ir/src/lib.rs#L579) or `ReEarlyBound` (https://github.com/rust-lang/chalk/blob/e0ade19d139bc784384acc6736cd960c91dd55a1/chalk-ir/src/lib.rs#L1308). Everything is just "bound" - the equivalent of rustc's late-bound. It's not completely clear yet whether to move everything to the same time of binder in rustc or add `Param` and `ReEarlyBound` in Chalk. Either way, tracking when we have or haven't already substituted out these in rustc can be helpful. As a first step, I'm just adding a `EarlyBinder` newtype that is required to call `subst`. I also add a couple "transparent" `bound_*` wrappers around a couple query that are often immediately substituted. r? `@nikomatsakis` 2022-05-11T02:47:18+00:00 Jack Huey 31162821+jackh726@users.noreply.github.com 2022-05-08T05:17:58+00:00 urn:sha1:319575ae8c3f6ea5db1c850c8f4c786c8cc203fe 2022-05-10T10:07:35+00:00 lcnr rust@lcnr.de 2022-05-02T07:31:56+00:00 urn:sha1:6c8265dc56d221dce7f3535ecf8cdee6b9d2d618 2022-05-09T16:40:18+00:00 lcnr rust@lcnr.de 2022-05-09T15:47:02+00:00 urn:sha1:32b13ac9280d15273ef17ee474c0f0a738bb5f5a 2022-05-09T16:40:18+00:00 lcnr rust@lcnr.de 2022-05-04T09:18:37+00:00 urn:sha1:d371ebe117419b9815bd8743f981d8fa67a876d8 2022-05-03T00:40:30+00:00 Elliot Roberts Elliot0000101@gmail.com 2022-04-15T22:04:34+00:00 urn:sha1:7907385999b4a83d37ed31d334f3ed9ca02983a1 2022-03-02T15:45:25+00:00 mark markm@cs.wisc.edu 2022-01-23T18:34:26+00:00 urn:sha1:e489a94deef3d41513fe4254804d730f0fd6cbc0 2022-02-24T17:18:07+00:00 bors bors@rust-lang.org 2022-02-24T17:18:07+00:00 urn:sha1:4b043faba34ccc053a4d0110634c323f6c03765e Always format to internal String in FmtPrinter This avoids monomorphizing for different parameters, decreasing generic code instantiated downstream from rustc_middle -- locally seeing 7% unoptimized LLVM IR line wins on rustc_borrowck, for example. We likely can't/shouldn't get rid of the Result-ness on most functions, though some further cleanup avoiding fmt::Error where we now know it won't occur may be possible, though somewhat painful -- fmt::Write is a pretty annoying API to work with in practice when you're trying to use it infallibly. 2022-02-21T06:09:11+00:00 lcnr rust@lcnr.de 2022-02-07T15:06:31+00:00 urn:sha1:1245131a118ee08a38cfd3a90952a0168d65cae2 2022-02-21T00:32:18+00:00 Mark Rousskov mark.simulacrum@gmail.com 2022-02-18T21:15:29+00:00 urn:sha1:efb99d780d282b50c29e429903398553665f4c06 This avoids monomorphizing for different parameters, decreasing generic code instantiated downstream from rustc_middle.