ProperLowerBound

constructor(inferenceVariable: InferenceVariable, properType: ResolvedType)(source)