parent
27e49fe78a
commit
3d4332cd4f
|
|
@ -12,7 +12,7 @@ the form:
|
||||||
receiver.method(...)
|
receiver.method(...)
|
||||||
```
|
```
|
||||||
|
|
||||||
into a more explicit UFCS form:
|
into a more explicit [UFCS] form:
|
||||||
|
|
||||||
```rust
|
```rust
|
||||||
Trait::method(ADJ(receiver), ...) // for a trait call
|
Trait::method(ADJ(receiver), ...) // for a trait call
|
||||||
|
|
@ -37,6 +37,7 @@ probe phase produces a "pick" (`probe::Pick`), which is designed to be
|
||||||
cacheable across method-call sites. Therefore, it does not include
|
cacheable across method-call sites. Therefore, it does not include
|
||||||
inference variables or other information.
|
inference variables or other information.
|
||||||
|
|
||||||
|
[UFCS]: https://github.com/rust-lang/rfcs/blob/master/text/0132-ufcs.md
|
||||||
[probe]: https://github.com/rust-lang/rust/blob/master/src/librustc_typeck/check/method/probe.rs
|
[probe]: https://github.com/rust-lang/rust/blob/master/src/librustc_typeck/check/method/probe.rs
|
||||||
[confirm]: https://github.com/rust-lang/rust/blob/master/src/librustc_typeck/check/method/confirm.rs
|
[confirm]: https://github.com/rust-lang/rust/blob/master/src/librustc_typeck/check/method/confirm.rs
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -26,3 +26,4 @@ SLG formulation that is the basis for our on-demand solver.
|
||||||
|
|
||||||
[nftrd]: https://dl.acm.org/citation.cfm?id=651202
|
[nftrd]: https://dl.acm.org/citation.cfm?id=651202
|
||||||
[ts]: http://www3.cs.stonybrook.edu/~tswift/
|
[ts]: http://www3.cs.stonybrook.edu/~tswift/
|
||||||
|
[Theresa Swift]: http://www3.cs.stonybrook.edu/~tswift/
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue