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: [email protected]
Reporter: [email protected]
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
--
