diff --git a/src/appendix/glossary.md b/src/appendix/glossary.md index 527da87b7..486238c86 100644 --- a/src/appendix/glossary.md +++ b/src/appendix/glossary.md @@ -6,6 +6,7 @@ Term | Meaning arena, arena allocation | An _arena_ is a large memory buffer from which other memory allocations are made. This style of allocation is called _arena allocation_. See [this chapter](../memory.md) for more info. AFIDT | Short for _async function in `dyn Trait`_. See also [AFIT](#afit). AFIT | Short for _async function in trait_. They desugar to [RPITITs](#rpitit). + Assbind | Short for ["Assumptions on Binders"](https://github.com/rust-lang/project-assumptions-on-binders) (See: [Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/260443-project-const-generics/topic/talkies.3F.20in.20this.20economy/near/615646513)). AST | The _abstract syntax tree_ (an [IR](#ir)) produced by the parser; reflects the surface / user syntax very closely. APIT | Short for _argument-position `impl Trait`_. Also known as universial `impl Trait` (as opposed to existential) or anonymous type parameter. ([see the reference](https://doc.rust-lang.org/reference/types/impl-trait.html#anonymous-type-parameters)). ATPIT | Short for _associated-type-position `impl Trait`_. Also known as [ITIAT](#itiat).