<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/compiler/rustc_middle/src/ty/instance.rs, branch 1.69.0</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=1.69.0</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=1.69.0'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2023-02-23T20:32:24+00:00</updated>
<entry>
<title>Rename many interner functions.</title>
<updated>2023-02-23T20:32:24+00:00</updated>
<author>
<name>Nicholas Nethercote</name>
<email>n.nethercote@gmail.com</email>
</author>
<published>2023-02-17T03:33:08+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=2200911616c3054f0c090db54ea78bdfb666dade'/>
<id>urn:sha1:2200911616c3054f0c090db54ea78bdfb666dade</id>
<content type='text'>
(This is a large commit. The changes to
`compiler/rustc_middle/src/ty/context.rs` are the most important ones.)

The current naming scheme is a mess, with a mix of `_intern_`, `intern_`
and `mk_` prefixes, with little consistency. In particular, in many
cases it's easy to use an iterator interner when a (preferable) slice
interner is available.

The guiding principles of the new naming system:
- No `_intern_` prefixes.
- The `intern_` prefix is for internal operations.
- The `mk_` prefix is for external operations.
- For cases where there is a slice interner and an iterator interner,
  the former is `mk_foo` and the latter is `mk_foo_from_iter`.

Also, `slice_interners!` and `direct_interners!` can now be `pub` or
non-`pub`, which helps enforce the internal/external operations
division.

It's not perfect, but I think it's a clear improvement.

The following lists show everything that was renamed.

slice_interners
- const_list
  - mk_const_list -&gt; mk_const_list_from_iter
  - intern_const_list -&gt; mk_const_list
- substs
  - mk_substs -&gt; mk_substs_from_iter
  - intern_substs -&gt; mk_substs
  - check_substs -&gt; check_and_mk_substs (this is a weird one)
- canonical_var_infos
  - intern_canonical_var_infos -&gt; mk_canonical_var_infos
- poly_existential_predicates
  - mk_poly_existential_predicates -&gt; mk_poly_existential_predicates_from_iter
  - intern_poly_existential_predicates -&gt; mk_poly_existential_predicates
  - _intern_poly_existential_predicates -&gt; intern_poly_existential_predicates
- predicates
  - mk_predicates -&gt; mk_predicates_from_iter
  - intern_predicates -&gt; mk_predicates
  - _intern_predicates -&gt; intern_predicates
- projs
  - intern_projs -&gt; mk_projs
- place_elems
  - mk_place_elems -&gt; mk_place_elems_from_iter
  - intern_place_elems -&gt; mk_place_elems
- bound_variable_kinds
  - mk_bound_variable_kinds -&gt; mk_bound_variable_kinds_from_iter
  - intern_bound_variable_kinds -&gt; mk_bound_variable_kinds

direct_interners
- region
  - intern_region (unchanged)
- const
  - mk_const_internal -&gt; intern_const
- const_allocation
  - intern_const_alloc -&gt; mk_const_alloc
- layout
  - intern_layout -&gt; mk_layout
- adt_def
  - intern_adt_def -&gt; mk_adt_def_from_data (unusual case, hard to avoid)
  - alloc_adt_def(!) -&gt; mk_adt_def
- external_constraints
  - intern_external_constraints -&gt; mk_external_constraints

Other
- type_list
  - mk_type_list -&gt; mk_type_list_from_iter
  - intern_type_list -&gt; mk_type_list
- tup
  - mk_tup -&gt; mk_tup_from_iter
  - intern_tup -&gt; mk_tup
</content>
</entry>
<entry>
<title>Remove type-traversal trait aliases</title>
<updated>2023-02-22T17:04:58+00:00</updated>
<author>
<name>Alan Egerton</name>
<email>eggyal@gmail.com</email>
</author>
<published>2023-02-22T02:18:40+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=695072daa6cc04045f2aa79d751d884ad5263080'/>
<id>urn:sha1:695072daa6cc04045f2aa79d751d884ad5263080</id>
<content type='text'>
</content>
</entry>
<entry>
<title>remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata</title>
<updated>2023-02-17T00:05:56+00:00</updated>
<author>
<name>Kyle Matsuda</name>
<email>kyle.yoshio.matsuda@gmail.com</email>
</author>
<published>2023-02-07T08:29:48+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=c183110cc26abb506dba0a4def917735fb6eb6f0'/>
<id>urn:sha1:c183110cc26abb506dba0a4def917735fb6eb6f0</id>
<content type='text'>
</content>
</entry>
<entry>
<title>change usages of type_of to bound_type_of</title>
<updated>2023-02-17T00:01:52+00:00</updated>
<author>
<name>Kyle Matsuda</name>
<email>kyle.yoshio.matsuda@gmail.com</email>
</author>
<published>2023-02-07T00:48:12+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=d822b97a27e50f5a091d2918f6ff0ffd2d2827f5'/>
<id>urn:sha1:d822b97a27e50f5a091d2918f6ff0ffd2d2827f5</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Replace some `then`s with some `then_some`s</title>
<updated>2023-02-16T15:26:03+00:00</updated>
<author>
<name>Maybe Waffle</name>
<email>waffle.lapkin@gmail.com</email>
</author>
<published>2023-02-15T17:39:43+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=5bf6a46032b6c746da5a95dc5c6e0ac46ac9b075'/>
<id>urn:sha1:5bf6a46032b6c746da5a95dc5c6e0ac46ac9b075</id>
<content type='text'>
</content>
</entry>
<entry>
<title>`if $c:expr { Some($r:expr) } else { None }` =&gt;&gt; `$c.then(|| $r)`</title>
<updated>2023-02-16T15:26:00+00:00</updated>
<author>
<name>Maybe Waffle</name>
<email>waffle.lapkin@gmail.com</email>
</author>
<published>2023-02-15T11:43:41+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=8751fa1a9abda9fc7ced6b03315efbd82310830d'/>
<id>urn:sha1:8751fa1a9abda9fc7ced6b03315efbd82310830d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Rename folder traits' `tcx` method to `interner`</title>
<updated>2023-02-13T10:24:51+00:00</updated>
<author>
<name>Alan Egerton</name>
<email>eggyal@gmail.com</email>
</author>
<published>2023-02-11T09:18:12+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=63ad5d0522053d7eb345eee404954ec24759f956'/>
<id>urn:sha1:63ad5d0522053d7eb345eee404954ec24759f956</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Make folding traits generic over the Interner</title>
<updated>2023-02-13T10:24:49+00:00</updated>
<author>
<name>Alan Egerton</name>
<email>eggyal@gmail.com</email>
</author>
<published>2023-02-11T09:13:27+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=9783fcc13b8362d8cc5ddca1bc1d5b8714b1177e'/>
<id>urn:sha1:9783fcc13b8362d8cc5ddca1bc1d5b8714b1177e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Alias folding/visiting traits instead of re-export</title>
<updated>2023-02-13T10:24:46+00:00</updated>
<author>
<name>Alan Egerton</name>
<email>eggyal@gmail.com</email>
</author>
<published>2023-02-09T14:02:47+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=ba55a453eba195fa3fae02b636abcf2bf9f59b95'/>
<id>urn:sha1:ba55a453eba195fa3fae02b636abcf2bf9f59b95</id>
<content type='text'>
</content>
</entry>
<entry>
<title>change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyBinder to fn_sig in metadata</title>
<updated>2023-01-27T03:28:25+00:00</updated>
<author>
<name>Kyle Matsuda</name>
<email>kyle.yoshio.matsuda@gmail.com</email>
</author>
<published>2023-01-18T23:52:47+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=c2414dfaa4a01a60ec65c44879e103c3fc3152bb'/>
<id>urn:sha1:c2414dfaa4a01a60ec65c44879e103c3fc3152bb</id>
<content type='text'>
</content>
</entry>
</feed>
