<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/src/test/ui/array-slice-vec, branch 1.63.0</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=1.63.0</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=1.63.0'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2022-06-02T08:19:15+00:00</updated>
<entry>
<title>add new `emit_inference_failure_err`</title>
<updated>2022-06-02T08:19:15+00:00</updated>
<author>
<name>lcnr</name>
<email>rust@lcnr.de</email>
</author>
<published>2022-02-14T12:25:26+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=3fe346e7a3776d01541fc973c4a7bb686ef3b1a8'/>
<id>urn:sha1:3fe346e7a3776d01541fc973c4a7bb686ef3b1a8</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Update the diagnostic message to match the new span</title>
<updated>2022-04-28T09:40:42+00:00</updated>
<author>
<name>Oli Scherer</name>
<email>git-spam-no-reply9815368754983@oli-obk.de</email>
</author>
<published>2022-04-28T09:40:42+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=018f9347fcc265b21e5269254c50b73ac8c2a3de'/>
<id>urn:sha1:018f9347fcc265b21e5269254c50b73ac8c2a3de</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Check that repeat expression elements are Copy (ignoring lifetimes) in typeck and that they are Copy (with proper lifetime checks) in borrowck</title>
<updated>2022-04-28T09:19:42+00:00</updated>
<author>
<name>Oli Scherer</name>
<email>git-spam-no-reply9815368754983@oli-obk.de</email>
</author>
<published>2022-04-11T16:38:48+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=4e6e68e27a36f38da58dcbadd31c8f5d591f4571'/>
<id>urn:sha1:4e6e68e27a36f38da58dcbadd31c8f5d591f4571</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Suggest derivable trait on E0277</title>
<updated>2022-04-05T02:14:32+00:00</updated>
<author>
<name>ohno418</name>
<email>yutaro.ono.418@gmail.com</email>
</author>
<published>2022-03-31T14:58:45+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=0d2a00058b4b3d4a04712309cc4cc371a8fb8653'/>
<id>urn:sha1:0d2a00058b4b3d4a04712309cc4cc371a8fb8653</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add needs-unwind to tests that depend on panicking</title>
<updated>2021-12-09T22:03:52+00:00</updated>
<author>
<name>David Koloski</name>
<email>djkoloski@gmail.com</email>
</author>
<published>2021-12-03T15:32:51+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=ea68758299a89556e67f0bfffffb19c0c8346e8a'/>
<id>urn:sha1:ea68758299a89556e67f0bfffffb19c0c8346e8a</id>
<content type='text'>
This directive isn't automatically set by compiletest or x.py, but can
be turned on manually for targets that require it.
</content>
</entry>
<entry>
<title>Move some tests to more reasonable directories</title>
<updated>2021-11-18T15:09:34+00:00</updated>
<author>
<name>Caio</name>
<email>c410.f3r@gmail.com</email>
</author>
<published>2021-11-18T15:09:34+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=41d9abd76cd514aca23e3409fe6896a3a7d61d1a'/>
<id>urn:sha1:41d9abd76cd514aca23e3409fe6896a3a7d61d1a</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Move some tests to more reasonable directories</title>
<updated>2021-11-06T18:35:20+00:00</updated>
<author>
<name>Caio</name>
<email>c410.f3r@gmail.com</email>
</author>
<published>2021-11-06T18:35:20+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=7fd15f09008dd72f40d76a5bebb60e3991095a5f'/>
<id>urn:sha1:7fd15f09008dd72f40d76a5bebb60e3991095a5f</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Auto merge of #89110 - Aaron1011:adjustment-span, r=estebank</title>
<updated>2021-09-30T01:40:30+00:00</updated>
<author>
<name>bors</name>
<email>bors@rust-lang.org</email>
</author>
<published>2021-09-30T01:40:30+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=4aa7879b559ccf7f82bcce2a8e532ea307697ea9'/>
<id>urn:sha1:4aa7879b559ccf7f82bcce2a8e532ea307697ea9</id>
<content type='text'>
Use larger span for adjustment THIR expressions

Currently, we use a relatively 'small' span for THIR
expressions generated by an 'adjustment' (e.g. an autoderef,
autoborrow, unsizing). As a result, if a borrow generated
by an adustment ends up causing a borrowcheck error, for example:

```rust
let mut my_var = String::new();
let my_ref = &amp;my_var
my_var.push('a');
my_ref;
```

then the span for the mutable borrow may end up referring
to only the base expression (e.g. `my_var`), rather than
the method call which triggered the mutable borrow
(e.g. `my_var.push('a')`)

Due to a quirk of the MIR borrowck implementation,
this doesn't always get exposed in migration mode,
but it does in many cases.

This commit makes THIR building consistently use 'larger'
spans for adjustment expressions. These spans are recoded
when we first create the adjustment during typecheck. For
example, an autoref adjustment triggered by a method call
will record the span of the entire method call.

The intent of this change it make it clearer to users
when it's the specific way in which a variable is
used (for example, in a method call) that produdes
a borrowcheck error. For example, an error message
claiming that a 'mutable borrow occurs here' might
be confusing if it just points at a usage of a variable
(e.g. `my_var`), when no `&amp;mut` is in sight. Pointing
at the entire expression should help to emphasize
that the method call itself is responsible for
the mutable borrow.

In several cases, this makes the `#![feature(nll)]` diagnostic
output match up exactly with the default (migration mode) output.
As a result, several `.nll.stderr` files end up getting removed
entirely.
</content>
</entry>
<entry>
<title>Remove box syntax from most places in src/test outside of the issues dir</title>
<updated>2021-09-26T02:07:44+00:00</updated>
<author>
<name>est31</name>
<email>MTest31@outlook.com</email>
</author>
<published>2021-08-25T00:39:40+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=6550021124451628b1efc60c59284465b109e3aa'/>
<id>urn:sha1:6550021124451628b1efc60c59284465b109e3aa</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Use larger span for adjustments on method calls</title>
<updated>2021-09-25T15:00:41+00:00</updated>
<author>
<name>Aaron Hill</name>
<email>aa1ronham@gmail.com</email>
</author>
<published>2021-09-16T20:01:22+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=4d66986e090abed11c1aae9602f23385f94154fa'/>
<id>urn:sha1:4d66986e090abed11c1aae9602f23385f94154fa</id>
<content type='text'>
Currently, we use a relatively 'small' span for THIR
expressions generated by an 'adjustment' (e.g. an autoderef,
autoborrow, unsizing). As a result, if a borrow generated
by an adustment ends up causing a borrowcheck error, for example:

```rust
let mut my_var = String::new();
let my_ref = &amp;my_var
my_var.push('a');
my_ref;
```

then the span for the mutable borrow may end up referring
to only the base expression (e.g. `my_var`), rather than
the method call which triggered the mutable borrow
(e.g. `my_var.push('a')`)

Due to a quirk of the MIR borrowck implementation,
this doesn't always get exposed in migration mode,
but it does in many cases.

This commit makes THIR building consistently use 'larger'
spans for adjustment expressions

The intent of this change it make it clearer to users
when it's the specific way in which a variable is
used (for example, in a method call) that produdes
a borrowcheck error. For example, an error message
claiming that a 'mutable borrow occurs here' might
be confusing if it just points at a usage of a variable
(e.g. `my_var`), when no `&amp;mut` is in sight. Pointing
at the entire expression should help to emphasize
that the method call itself is responsible for
the mutable borrow.

In several cases, this makes the `#![feature(nll)]` diagnostic
output match up exactly with the default (migration mode) output.
As a result, several `.nll.stderr` files end up getting removed
entirely.
</content>
</entry>
</feed>
