|
..
|
|
AddRecursiveInstanceArgumentQuickFixTest.kt
|
|
AddReturnKeywordQuickFixTest.kt
|
|
AddTruncatedUniverseQuickFixTest.kt
|
|
DataUniverseQuickFixTest.kt
|
|
ElimSubstQuickFixTest.kt
|
|
ExpectedConstructorQuickFixTest.kt
|
|
ExplicitnessQuickFixTest.kt
|
|
FieldDependencyQuickFixTest.kt
|
|
FunctionArgInferenceQuickFixTest.kt
|
|
GoalFillingQuickFixTest.kt
|
|
ImplementFieldsQuickFixTest.kt
|
|
ImplicitLambdaQuickFixTest.kt
|
|
ImportQuickFixTest.kt
|
|
ImpossibleEliminationQuickFixTest.kt
|
|
InstanceInferenceQuickFixTest.kt
|
|
InteractiveGoalSolverQuickFixTest.kt
|
|
LambdaInferenceQuickFixTest.kt
|
|
MissingClausesQuickFixTest.kt
|
|
PatternQuickFixTest.kt
|
|
QuickFixTestBase.kt
|
|
RemoveClassifyingFieldQuickFixTest.kt
|
|
RemoveIgnoredLevelsQuickFixTest.kt
|
|
RemoveLevelQuickFixTest.kt
|
|
RemoveNoClassifyingKeywordQuickFixTest.kt
|
|
RemoveStrictKeywordQuickFixTest.kt
|
|
RemoveTruncatedKeywordQuickFixTest.kt
|
|
RemoveTruncatedUniverseQuickFixTest.kt
|
|
RemoveUseLevelQuickFixTest.kt
|
|
ReplaceDefKindQuickFix.kt
|
|
ReplaceMetaWithResultTest.kt
|
|
ResolveRefQuickFixTest.kt
|
|
SquashedDataQuickFixTest.kt
|
|
TruncatedDataQuickFixTest.kt
|