bors c97b539e40 Auto merge of #104940 - cjgillot:query-feed-simple, r=oli-obk ...

Allow to feed a value in another query's cache

Restricted version of https://github.com/rust-lang/rust/pull/96840

A query can create new definitions.

If those definitions are created after HIR lowering, they do not appear in the initial HIR map, and information for them cannot be provided in the normal pull-based way.

In order to make those definitions useful, we allow to feed values as query results for the newly created definition.

The API is as follows:
```rust
let feed = tcx.create_def(<parent def id>, <DefPathData>);
// `feed` is a TyCtxtFeed<'tcx>.

// Access the created definition.
let def_id: LocalDefId = feed.def_id;

// Assign `my_query(def_id) := my_value`.
feed.my_query(my_value).
```

This PR keeps the consistency checks introduced by https://github.com/rust-lang/rust/pull/96840, even if they are not reachable. This allows to extend the behaviour later without forgetting them.

cc `@oli-obk` `@spastorino`

2022-11-30 17:20:14 +00:00

..

src

Auto merge of #104940 - cjgillot:query-feed-simple, r=oli-obk

2022-11-30 17:20:14 +00:00

Cargo.toml

rustdoc: use ThinVec for cleaned generics

2022-11-02 16:17:22 -07:00