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

Name	Description
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