import * as spec from '@jsii/spec';
import { TypeResolver } from './type-reference';
/**
 * Check if subType is an allowed covariant subtype to superType
 *
 * This is not a generic check for subtypes or covariance, but a specific implementation
 * that checks the currently allowed conditions for class covariance.
 * In practice, this is driven by C# limitations.
 */
export declare function isAllowedCovariantSubtype(subType: spec.TypeReference | undefined, superType: spec.TypeReference | undefined, dereference: TypeResolver): boolean;
//# sourceMappingURL=type-analysis.d.ts.map