View source code
Display the source code in dmd/typesem.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.typesem.covariant

Covariant means that 'src' can substitute for 't', i.e. a pure function is a match for an impure type.

Covariant covariant (
  Type src,
  Type t,
  ulong* pstc = null,
  bool cppCovariant = false
);

Parameters

NameDescription
src source type
t type 'src' is covariant with
pstc if not null, store STCxxxx which would make it covariant
cppCovariant true if extern(C++) function types should follow C++ covariant rules

Returns

An enum value of either Covariant.yes or a reason it's not covariant.

Authors

Walter Bright

License

Boost License 1.0