• d-bugmail puremagic.com (56/59) Mar 01 2022 https://issues.dlang.org/show_bug.cgi?id=22835

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=22835

          Issue ID: 22835
           Summary: Undocumented type specializations of is-expression
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dlang.org
          Assignee: nobody puremagic.com
          Reporter: dkorpel live.nl

The grammar for is-expressions list the following type specializations:
```
TypeSpecialization:
    Type
    struct
    union
    class
    interface
    enum
    __vector
    function
    delegate
    super
    const
    immutable
    inout
    shared
    return
    __parameters
    module
    package
```

The spec says:
 If TypeSpecialization is one of struct union class interface enum function
delegate
 const immutable shared then the condition is satisfied if Type is one of
those. 
 Furthermore, Identifier is set to be an alias of the type:

A table follows with:
```
struct
union
class
interface
super
enum
function
delegate
return
__parameters
const
immutable
shared
```

- __parameters, super and return are missing from the sentence
- inout and __vector are missing from the table
- module and package are undocumented

--