<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/tests/ui/impl-trait/issues, branch master</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=master</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2025-08-22T17:55:15+00:00</updated>
<entry>
<title>On E0277, point at type that doesn't implement bound</title>
<updated>2025-08-22T17:55:15+00:00</updated>
<author>
<name>Esteban Küber</name>
<email>esteban@kuber.com.ar</email>
</author>
<published>2025-08-19T17:49:20+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=049c32797b5f797d5823cdc0e5aaeb0fd68175da'/>
<id>urn:sha1:049c32797b5f797d5823cdc0e5aaeb0fd68175da</id>
<content type='text'>
When encountering an unmet trait bound, point at local type that doesn't implement the trait:

```
error[E0277]: the trait bound `Bar&lt;T&gt;: Foo` is not satisfied
  --&gt; $DIR/issue-64855.rs:9:19
   |
LL | pub struct Bar&lt;T&gt;(&lt;Self as Foo&gt;::Type) where Self: ;
   |                   ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
   |
help: the trait `Foo` is not implemented for `Bar&lt;T&gt;`
  --&gt; $DIR/issue-64855.rs:9:1
   |
LL | pub struct Bar&lt;T&gt;(&lt;Self as Foo&gt;::Type) where Self: ;
   | ^^^^^^^^^^^^^^^^^
```
</content>
</entry>
<entry>
<title>borrowck: defer opaque type errors</title>
<updated>2025-08-08T17:24:53+00:00</updated>
<author>
<name>lcnr</name>
<email>rust@lcnr.de</email>
</author>
<published>2025-08-08T17:18:17+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=4eee55691aeb345cbac0ad558003d5f2ed72b478'/>
<id>urn:sha1:4eee55691aeb345cbac0ad558003d5f2ed72b478</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Remove the witness type from coroutine args</title>
<updated>2025-07-31T17:38:28+00:00</updated>
<author>
<name>Michael Goulet</name>
<email>michael@errs.io</email>
</author>
<published>2025-07-25T16:46:11+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=e9765781b2857da90161157a3fc523f9e1d58848'/>
<id>urn:sha1:e9765781b2857da90161157a3fc523f9e1d58848</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness</title>
<updated>2025-07-31T17:31:51+00:00</updated>
<author>
<name>Michael Goulet</name>
<email>michael@errs.io</email>
</author>
<published>2025-07-18T18:17:15+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=d525e79157e32abc510714dd32628c9c155f2997'/>
<id>urn:sha1:d525e79157e32abc510714dd32628c9c155f2997</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Eagerly unify coroutine witness in old solver</title>
<updated>2025-07-17T17:42:28+00:00</updated>
<author>
<name>Michael Goulet</name>
<email>michael@errs.io</email>
</author>
<published>2025-05-29T12:34:50+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=216cdb7b22b637cef75b7225c642cb7587192643'/>
<id>urn:sha1:216cdb7b22b637cef75b7225c642cb7587192643</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add edition checks for some tests that had divergent output</title>
<updated>2025-06-25T17:02:26+00:00</updated>
<author>
<name>Esteban Küber</name>
<email>esteban@kuber.com.ar</email>
</author>
<published>2025-06-09T17:52:41+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=8c3a033d7ffb0431c87cb02452d509e2b530a472'/>
<id>urn:sha1:8c3a033d7ffb0431c87cb02452d509e2b530a472</id>
<content type='text'>
In order to expose edition dependent divergences in some tests in the test suite, add explicit `edition` annotations. Some of these tests might require additional work to *avoid* the divergences, as they might have been unintentional. These are not exhaustive changes, purely opportunistic while looking at something else.
</content>
</entry>
<entry>
<title>Just error on recursive opaque ty in HIR typeck</title>
<updated>2025-05-20T10:08:56+00:00</updated>
<author>
<name>Michael Goulet</name>
<email>michael@errs.io</email>
</author>
<published>2025-04-05T18:06:47+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=7e7c2c3947089834791a9d302f76947c00300b7d'/>
<id>urn:sha1:7e7c2c3947089834791a9d302f76947c00300b7d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>move (and remove) impl Trait tests</title>
<updated>2025-05-09T02:35:18+00:00</updated>
<author>
<name>lcnr</name>
<email>rust@lcnr.de</email>
</author>
<published>2025-05-09T02:35:18+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=9eac7a3e04a727bcbdb14826c6520210b3ca1d2e'/>
<id>urn:sha1:9eac7a3e04a727bcbdb14826c6520210b3ca1d2e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>UI tests: add missing diagnostic kinds where possible</title>
<updated>2025-04-08T20:06:31+00:00</updated>
<author>
<name>Vadim Petrochenkov</name>
<email>vadim.petrochenkov@gmail.com</email>
</author>
<published>2025-04-05T16:19:56+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=b3f75353a237f3623483c1e237be480140a8c3e1'/>
<id>urn:sha1:b3f75353a237f3623483c1e237be480140a8c3e1</id>
<content type='text'>
</content>
</entry>
<entry>
<title>add `TypingMode::Borrowck`</title>
<updated>2025-04-03T09:13:10+00:00</updated>
<author>
<name>lcnr</name>
<email>rust@lcnr.de</email>
</author>
<published>2025-04-01T21:48:41+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=509a144eed84e6ccd1227cd0d90f877a774aae70'/>
<id>urn:sha1:509a144eed84e6ccd1227cd0d90f877a774aae70</id>
<content type='text'>
</content>
</entry>
</feed>
