View source code
Display the source code in dmd/mtype.d from which this
page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a
Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page.
Requires a signed-in GitHub account. This works well for small changes.
If you'd like to make larger changes you may want to consider using
local clone.
Function dmd.mtype.Type.covariant
Covariant means that 'this' can substitute for 't', i.e. a pure function is a match for an impure type.
Parameters
Name | Description |
---|---|
t | type 'this' is covariant with |
pstc | if not null, store STCxxxx which would make it covariant |
Returns
0 types are distinct 1 this is covariant with t 2 arguments match as far as overloading goes, but types are not covariant 3 cannot determine covariance because of forward references *pstc STCxxxx which would make it covariant
Authors
License
Copyright © 1999-2022 by the D Language Foundation | Page generated by ddox.