Display the source code in dmd/mtype.d from which this page was generated on github.

If you spot a problem with this page, click here to create a Bugzilla issue.

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.



final extern(C++) int covariant
(


  Type t,


  ulong* pstc = null


);

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

Walter Bright

License

Boost License 1.0