Google Git
Sign in
pigweed/third_party/github/JetBrains/kotlin/6330def4271b547b5c7db5f9759e387de2908e94/./compiler/testData/diagnostics/tests/inference
tree: 53b9484c618a49468fa63b0c777ef0d21bbd931c
  1. builderInference/
  2. callableReferences/
  3. capturedTypes/
  4. coercionToUnit/
  5. commonSystem/
  6. completion/
  7. constraints/
  8. emptyIntersectionTypes/
  9. forks/
  10. nestedCalls/
  11. nothingType/
  12. publicApproximation/
  13. recursiveCalls/
  14. recursiveLocalFuns/
  15. recursiveTypes/
  16. regressions/
  17. reportingImprovements/
  18. substitutions/
  19. upperBounds/
  20. annotatedUnderscoredTypeArgument.fir.kt
  21. annotatedUnderscoredTypeArgument.kt
  22. annotatedUnderscoredTypeArgument.txt
  23. cannotCompleteResolveAmbiguity.kt
  24. cannotCompleteResolveAmbiguity.txt
  25. cannotCompleteResolveFunctionLiteralsNoUse.fir.kt
  26. cannotCompleteResolveFunctionLiteralsNoUse.kt
  27. cannotCompleteResolveFunctionLiteralsNoUse.txt
  28. cannotCompleteResolveNoInfoForParameter.kt
  29. cannotCompleteResolveNoInfoForParameter.txt
  30. cannotCompleteResolveNoneApplicable.kt
  31. cannotCompleteResolveNoneApplicable.txt
  32. cannotCompleteResolveWithFunctionLiterals.fir.kt
  33. cannotCompleteResolveWithFunctionLiterals.kt
  34. cannotCompleteResolveWithFunctionLiterals.txt
  35. capturedInProjectedFlexibleType.kt
  36. capturedInProjectedFlexibleType.txt
  37. capturedTypesInSelfType.kt
  38. capturedTypesInSelfType.txt
  39. coerceFunctionLiteralToSuspend.fir.kt
  40. coerceFunctionLiteralToSuspend.kt
  41. coerceFunctionLiteralToSuspend.txt
  42. commonSuperTypeOfErrorTypes.fir.kt
  43. commonSuperTypeOfErrorTypes.kt
  44. commonSuperTypeOfErrorTypes.txt
  45. commonSuperTypeOfTypesWithErrorSupertypes.fir.kt
  46. commonSuperTypeOfTypesWithErrorSupertypes.kt
  47. commonSuperTypeOfTypesWithErrorSupertypes.txt
  48. completeInferenceIfManyFailed.fir.kt
  49. completeInferenceIfManyFailed.kt
  50. completeInferenceIfManyFailed.txt
  51. completionOfMultipleLambdas.fir.kt
  52. completionOfMultipleLambdas.kt
  53. completionOfMultipleLambdas.txt
  54. conflictingSubstitutions.kt
  55. conflictingSubstitutions.txt
  56. cstFromErrorAndNonErrorTypes.fir.kt
  57. cstFromErrorAndNonErrorTypes.kt
  58. cstFromErrorAndNonErrorTypes.txt
  59. dependantOnVariance.fir.kt
  60. dependantOnVariance.kt
  61. dependantOnVariance.txt
  62. dependantOnVarianceNullable.kt
  63. dependantOnVarianceNullable.txt
  64. dependOnExpectedType.kt
  65. dependOnExpectedType.txt
  66. discardInapplicableCandidateWithNotSatisfyingSelfType.kt
  67. discardInapplicableCandidateWithNotSatisfyingSelfType.txt
  68. dontThrowEmptyIntersectionException.fir.kt
  69. dontThrowEmptyIntersectionException.kt
  70. dontThrowEmptyIntersectionException.txt
  71. elvisInsideWhen.kt
  72. equalitySubstitutionInsideNonInvariantType.kt
  73. equalitySubstitutionInsideNonInvariantType.txt
  74. errorsOnImplicitInvokeInSimpleCall.fir.kt
  75. errorsOnImplicitInvokeInSimpleCall.kt
  76. errorsOnImplicitInvokeInSimpleCall.txt
  77. exclExclInference.fir.kt
  78. exclExclInference.fir.txt
  79. exclExclInference.kt
  80. expectedTypeAdditionalTest.fir.kt
  81. expectedTypeAdditionalTest.kt
  82. expectedTypeAdditionalTest.txt
  83. expectedTypeDoubleReceiver.fir.kt
  84. expectedTypeDoubleReceiver.kt
  85. expectedTypeDoubleReceiver.txt
  86. expectedTypeFromCast.fir.kt
  87. expectedTypeFromCast.kt
  88. expectedTypeFromCast.txt
  89. expectedTypeFromCastComplexExpression.kt
  90. expectedTypeFromCastComplexExpression.txt
  91. expectedTypeFromCastParenthesized.fir.kt
  92. expectedTypeFromCastParenthesized.kt
  93. expectedTypeFromCastParenthesized.txt
  94. expectedTypeWithGenerics.fir.kt
  95. expectedTypeWithGenerics.kt
  96. expectedTypeWithGenerics.txt
  97. expectedTypeWithGenericsSafeCalls.kt
  98. extensionLambdasAndArrow.fir.kt
  99. extensionLambdasAndArrow.kt
  100. extensionLambdasAndArrow.txt
  101. findViewById.fir.kt
  102. findViewById.kt
  103. findViewById.txt
  104. fixationOrderForProperConstraints.kt
  105. fixationOrderForProperConstraints.ni.txt
  106. fixationOrderForProperConstraints.txt
  107. fixVariableToNothing.fir.kt
  108. fixVariableToNothing.kt
  109. fixVariableToNothing.txt
  110. flexibleTypesAsUpperBound.kt
  111. flexibleTypesAsUpperBound.txt
  112. functionPlaceholderError.fir.kt
  113. functionPlaceholderError.kt
  114. functionPlaceholderError.txt
  115. genericAssignmentOperator.kt
  116. genericAssignmentOperator.txt
  117. hasErrorInConstrainingTypes.kt
  118. hasErrorInConstrainingTypes.txt
  119. ifWithDependentBranches.fir.kt
  120. ifWithDependentBranches.kt
  121. illegalUnderscoredTypeArgument.fir.kt
  122. illegalUnderscoredTypeArgument.kt
  123. illegalUnderscoredTypeArgument.txt
  124. immutableArrayList.kt
  125. immutableArrayList.txt
  126. implicitInvokeExtensionWithFunctionalArgument.kt
  127. implicitInvokeExtensionWithFunctionalArgument.txt
  128. implicitInvokeInCompanionObjectWithFunctionalArgument.fir.kt
  129. implicitInvokeInCompanionObjectWithFunctionalArgument.kt
  130. implicitInvokeInCompanionObjectWithFunctionalArgument.txt
  131. implicitInvokeInObjectWithFunctionalArgument.fir.kt
  132. implicitInvokeInObjectWithFunctionalArgument.kt
  133. implicitInvokeInObjectWithFunctionalArgument.txt
  134. implicitInvokeWithFunctionLiteralArgument.fir.kt
  135. implicitInvokeWithFunctionLiteralArgument.kt
  136. implicitInvokeWithFunctionLiteralArgument.txt
  137. inferenceForkRegression.kt
  138. inferenceForkRegressionSimple.fir.kt
  139. inferenceForkRegressionSimple.kt
  140. inferInFunctionLiterals.kt
  141. inferInFunctionLiterals.txt
  142. inferInFunctionLiteralsWithReturn.kt
  143. inferInFunctionLiteralsWithReturn.txt
  144. intersectionTypeMultipleBoundsAsReceiver.kt
  145. intersectionTypeMultipleBoundsAsReceiver.txt
  146. intersectionTypesWithContravariantTypes.kt
  147. intersectionTypesWithContravariantTypes.txt
  148. intersectionWithEnum.kt
  149. intersectionWithEnum.ni.txt
  150. intersectionWithEnum.txt
  151. invokeLambdaAsFunction.fir.kt
  152. invokeLambdaAsFunction.kt
  153. invokeLambdaAsFunction.txt
  154. knownTypeParameters.kt
  155. knownTypeParameters.txt
  156. kt11963.fir.kt
  157. kt11963.kt
  158. kt11963.txt
  159. kt12399.fir.kt
  160. kt12399.kt
  161. kt12399.txt
  162. kt1293.fir.kt
  163. kt1293.kt
  164. kt1293.txt
  165. kt28598.fir.kt
  166. kt28598.kt
  167. kt28598.txt
  168. kt28654.fir.kt
  169. kt28654.kt
  170. kt28654.txt
  171. kt30405.kt
  172. kt30405.txt
  173. kt3184.kt
  174. kt3184.txt
  175. kt32196.fir.kt
  176. kt32196.kt
  177. kt32196.txt
  178. kt32415.kt
  179. kt32415.txt
  180. kt32434.kt
  181. kt32434.txt
  182. kt32462.fir.kt
  183. kt32462.kt
  184. kt32462.txt
  185. kt33263.fir.kt
  186. kt33263.kt
  187. kt33263.txt
  188. kt35702.kt
  189. kt35702.txt
  190. kt36044.kt
  191. kt36044.txt
  192. kt36819.kt
  193. kt36819.txt
  194. kt37853.kt
  195. kt37853.txt
  196. kt39220.fir.kt
  197. kt39220.kt
  198. kt39220.txt
  199. kt40396.fir.kt
  200. kt40396.kt
  201. kt40396.txt
  202. kt46515.kt
  203. kt46515.txt
  204. kt47316.fir.kt
  205. kt47316.kt
  206. kt47316.txt
  207. kt49658.fir.kt
  208. kt49658.kt
  209. kt49658.txt
  210. kt49658Strict.fir.kt
  211. kt49658Strict.kt
  212. kt49658Strict.txt
  213. kt49961.fir.kt
  214. kt49961.kt
  215. kt49961.txt
  216. kt50232a.fir.kt
  217. kt50232a.kt
  218. kt50232a.txt
  219. kt53124.kt
  220. kt53124.txt
  221. kt6175.fir.kt
  222. kt6175.kt
  223. kt6175.txt
  224. kt619.kt
  225. kt619.txt
  226. lambdaArgumentWithLabel.kt
  227. lambdaArgumentWithLabel.txt
  228. lambdaInValInitializerWithAnonymousFunctions.fir.kt
  229. lambdaInValInitializerWithAnonymousFunctions.kt
  230. lambdaInValInitializerWithAnonymousFunctions.txt
  231. lambdaParameterTypeInElvis.kt
  232. lambdaParameterTypeInElvis.txt
  233. listConstructor.kt
  234. listConstructor.txt
  235. localFunctionInsideIfBlock.kt
  236. localFunctionInsideIfBlock.txt
  237. mapFunction.fir.kt
  238. mapFunction.kt
  239. mapFunction.txt
  240. mostSpecificAfterInference.fir.kt
  241. mostSpecificAfterInference.kt
  242. mostSpecificAfterInference.txt
  243. NoInferenceFromDeclaredBounds.kt
  244. NoInferenceFromDeclaredBounds.txt
  245. noInformationForParameter.kt
  246. noInformationForParameter.txt
  247. nonFunctionalExpectedTypeForLambdaArgument.fir.kt
  248. nonFunctionalExpectedTypeForLambdaArgument.kt
  249. nonFunctionalExpectedTypeForLambdaArgument.txt
  250. nothingVsParameterBound.kt
  251. nullableTypeArgumentWithNotNullUpperBound.fir.kt
  252. nullableTypeArgumentWithNotNullUpperBound.kt
  253. nullableTypeArgumentWithNotNullUpperBound.txt
  254. nullableUpperBound.kt
  255. nullableUpperBound.txt
  256. onlyInputTypesWithMultilevelIncorporation.kt
  257. onlyInputTypesWithMultilevelIncorporation.txt
  258. opposite.kt
  259. opposite.txt
  260. possibleCycleOnConstraints.fir.kt
  261. possibleCycleOnConstraints.kt
  262. possibleCycleOnConstraints.txt
  263. reportAboutUnresolvedReferenceAsUnresolved.fir.kt
  264. reportAboutUnresolvedReferenceAsUnresolved.kt
  265. reportAboutUnresolvedReferenceAsUnresolved.txt
  266. reportNotEnoughTypeInformationErrorsOnBlockExpressions.fir.kt
  267. reportNotEnoughTypeInformationErrorsOnBlockExpressions.kt
  268. resolveWithUnknownLambdaParameterType.fir.kt
  269. resolveWithUnknownLambdaParameterType.kt
  270. resolveWithUnknownLambdaParameterType.txt
  271. returningLambdaInSuspendContext.kt
  272. returningLambdaInSuspendContext.txt
  273. selectOfLambdaWithExtension.kt
  274. selectOfLambdaWithExtensionDisabled.fir.kt
  275. selectOfLambdaWithExtensionDisabled.kt
  276. selectOfLambdaWithExtensionEnabled.kt
  277. smartCastFork.fir.kt
  278. smartCastFork.kt
  279. smartCastForkForExpectedTypeNested.fir.kt
  280. smartCastForkForExpectedTypeNested.kt
  281. smartCastForkForExpectType.fir.kt
  282. smartCastForkForExpectType.kt
  283. specialCallsWithCallableReferences.fir.kt
  284. specialCallsWithCallableReferences.kt
  285. specialCallsWithLambdas.kt
  286. starApproximation.kt
  287. starApproximationBangBang.kt
  288. starApproximationFlexible.kt
  289. starApproximationFromDifferentTypeParameter.kt
  290. stubTypeForSubtyping.kt
  291. stubTypeForSubtyping.txt
  292. tooEagerSmartcast.fir.kt
  293. tooEagerSmartcast.kt
  294. topLevelIntersection.fir.kt
  295. topLevelIntersection.kt
  296. topLevelIntersection.txt
  297. tryNumberLowerBoundsBeforeUpperBounds.kt
  298. tryNumberLowerBoundsBeforeUpperBounds.txt
  299. typeConstructorMismatch.fir.kt
  300. typeConstructorMismatch.kt
  301. typeConstructorMismatch.txt
  302. typeInferenceExpectedTypeMismatch.fir.kt
  303. typeInferenceExpectedTypeMismatch.kt
  304. typeInferenceExpectedTypeMismatch.txt
  305. typeParameterInConstructor.kt
  306. typeParameterInConstructor.txt
  307. underscoredTypeArgument.fir.kt
  308. underscoredTypeArgument.kt
  309. underscoredTypeArgument.txt
  310. underscoredTypeInForbiddenPositions.fir.kt
  311. underscoredTypeInForbiddenPositions.kt
  312. underscoredTypeInForbiddenPositions.txt
  313. unsoundness1.fir.kt
  314. unsoundness1.kt
  315. unsoundness2.kt
  316. useFunctionLiteralsToInferType.kt
  317. useFunctionLiteralsToInferType.txt
  318. violatingUpperBoundForSelfType.fir.kt
  319. violatingUpperBoundForSelfType.kt
  320. violatingUpperBoundForSelfType.txt
  321. violatingUpperBoundForSelfTypeError.fir.kt
  322. violatingUpperBoundForSelfTypeError.kt
  323. violatingUpperBoundForSelfTypeError.txt