Google Git
Sign in
pigweed/third_party/github/JetBrains/kotlin/9fc4d94d04f972782fee2dc5b3b25d052d88601a/./compiler/testData/diagnostics/tests/inference
tree: 89f3193e0f3d7637af22f7fd3d815a01f5ceabe7
  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.kt
  21. annotatedUnderscoredTypeArgument.txt
  22. assertThatInNumerousIf.kt
  23. cannotCompleteResolveAmbiguity.kt
  24. cannotCompleteResolveAmbiguity.txt
  25. cannotCompleteResolveFunctionLiteralsNoUse.kt
  26. cannotCompleteResolveFunctionLiteralsNoUse.txt
  27. cannotCompleteResolveNoInfoForParameter.fir.kt
  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. checkNotNullWithNullableExpectedType.kt
  40. coerceFunctionLiteralToSuspend.fir.kt
  41. coerceFunctionLiteralToSuspend.kt
  42. coerceFunctionLiteralToSuspend.txt
  43. commonSuperTypeOfErrorTypes.fir.kt
  44. commonSuperTypeOfErrorTypes.kt
  45. commonSuperTypeOfErrorTypes.txt
  46. commonSuperTypeOfTypesWithErrorSupertypes.fir.kt
  47. commonSuperTypeOfTypesWithErrorSupertypes.kt
  48. commonSuperTypeOfTypesWithErrorSupertypes.txt
  49. completeInferenceIfManyFailed.fir.kt
  50. completeInferenceIfManyFailed.kt
  51. completeInferenceIfManyFailed.txt
  52. completionOfMultipleLambdas.fir.kt
  53. completionOfMultipleLambdas.kt
  54. completionOfMultipleLambdas.txt
  55. complexInferenceOnParentizedExpression.fir.kt
  56. complexInferenceOnParentizedExpression.kt
  57. conflictingSubstitutions.kt
  58. conflictingSubstitutions.txt
  59. cstFromErrorAndNonErrorTypes.fir.kt
  60. cstFromErrorAndNonErrorTypes.kt
  61. cstFromErrorAndNonErrorTypes.txt
  62. dependantOnVariance.fir.kt
  63. dependantOnVariance.kt
  64. dependantOnVariance.txt
  65. dependantOnVarianceNullable.kt
  66. dependantOnVarianceNullable.txt
  67. dependOnExpectedType.kt
  68. dependOnExpectedType.txt
  69. discardInapplicableCandidateWithNotSatisfyingSelfType.kt
  70. discardInapplicableCandidateWithNotSatisfyingSelfType.txt
  71. dontThrowEmptyIntersectionException.fir.kt
  72. dontThrowEmptyIntersectionException.kt
  73. dontThrowEmptyIntersectionException.txt
  74. elvisInsideWhen.kt
  75. elvisWithNothingInRhs.kt
  76. equalitySubstitutionInsideNonInvariantType.kt
  77. equalitySubstitutionInsideNonInvariantType.txt
  78. errorsOnImplicitInvokeInSimpleCall.fir.kt
  79. errorsOnImplicitInvokeInSimpleCall.kt
  80. errorsOnImplicitInvokeInSimpleCall.txt
  81. exclExclInference.fir.kt
  82. exclExclInference.fir.txt
  83. exclExclInference.kt
  84. expectedTypeAdditionalTest.fir.kt
  85. expectedTypeAdditionalTest.kt
  86. expectedTypeAdditionalTest.txt
  87. expectedTypeDoubleReceiver.fir.kt
  88. expectedTypeDoubleReceiver.kt
  89. expectedTypeDoubleReceiver.txt
  90. expectedTypeFromCast.fir.kt
  91. expectedTypeFromCast.kt
  92. expectedTypeFromCast.txt
  93. expectedTypeFromCastComplexExpression.kt
  94. expectedTypeFromCastComplexExpression.txt
  95. expectedTypeFromCastParenthesized.fir.kt
  96. expectedTypeFromCastParenthesized.kt
  97. expectedTypeFromCastParenthesized.txt
  98. expectedTypeWithGenerics.fir.kt
  99. expectedTypeWithGenerics.kt
  100. expectedTypeWithGenerics.txt
  101. expectedTypeWithGenericsSafeCalls.kt
  102. extensionLambdasAndArrow.fir.kt
  103. extensionLambdasAndArrow.kt
  104. extensionLambdasAndArrow.txt
  105. findViewById.fir.kt
  106. findViewById.kt
  107. findViewById.txt
  108. fixationOrderForProperConstraints.kt
  109. fixationOrderForProperConstraints.ni.txt
  110. fixationOrderForProperConstraints.txt
  111. fixVariableToNothing.kt
  112. fixVariableToNothing.txt
  113. flexibleTypesAsUpperBound.kt
  114. flexibleTypesAsUpperBound.txt
  115. functionPlaceholderError.fir.kt
  116. functionPlaceholderError.kt
  117. functionPlaceholderError.txt
  118. genericAssignmentOperator.kt
  119. genericAssignmentOperator.txt
  120. genericCallInThrow.kt
  121. genericOnJavaWildcardBoundedByRaw.kt
  122. genericsWithUnmatchedNullabilityNested.kt
  123. genericWithUnmatchedNullabilityDelegate.kt
  124. hasErrorInConstrainingTypes.fir.kt
  125. hasErrorInConstrainingTypes.kt
  126. hasErrorInConstrainingTypes.txt
  127. ifWithDependentBranches.fir.kt
  128. ifWithDependentBranches.kt
  129. illegalUnderscoredTypeArgument.fir.kt
  130. illegalUnderscoredTypeArgument.kt
  131. illegalUnderscoredTypeArgument.txt
  132. immutableArrayList.kt
  133. immutableArrayList.txt
  134. implicitInvokeExtensionWithFunctionalArgument.kt
  135. implicitInvokeExtensionWithFunctionalArgument.txt
  136. implicitInvokeInCompanionObjectWithFunctionalArgument.fir.kt
  137. implicitInvokeInCompanionObjectWithFunctionalArgument.kt
  138. implicitInvokeInCompanionObjectWithFunctionalArgument.txt
  139. implicitInvokeInObjectWithFunctionalArgument.fir.kt
  140. implicitInvokeInObjectWithFunctionalArgument.kt
  141. implicitInvokeInObjectWithFunctionalArgument.txt
  142. implicitInvokeWithFunctionLiteralArgument.fir.kt
  143. implicitInvokeWithFunctionLiteralArgument.kt
  144. implicitInvokeWithFunctionLiteralArgument.txt
  145. inferenceForkRegression.kt
  146. inferenceForkRegressionSimple.fir.kt
  147. inferenceForkRegressionSimple.kt
  148. inferInFunctionLiterals.kt
  149. inferInFunctionLiterals.txt
  150. inferInFunctionLiteralsWithReturn.kt
  151. inferInFunctionLiteralsWithReturn.txt
  152. intersectionTypeMultipleBoundsAsReceiver.kt
  153. intersectionTypeMultipleBoundsAsReceiver.txt
  154. intersectionTypeOnWhenCall.kt
  155. intersectionTypesWithContravariantTypes.kt
  156. intersectionTypesWithContravariantTypes.txt
  157. intersectionWithEnum.kt
  158. intersectionWithEnum.ni.txt
  159. intersectionWithEnum.txt
  160. invokeLambdaAsFunction.fir.kt
  161. invokeLambdaAsFunction.kt
  162. invokeLambdaAsFunction.txt
  163. knownTypeParameters.kt
  164. knownTypeParameters.txt
  165. kt11963.fir.kt
  166. kt11963.kt
  167. kt11963.txt
  168. kt12399.fir.kt
  169. kt12399.kt
  170. kt12399.txt
  171. kt1293.fir.kt
  172. kt1293.kt
  173. kt1293.txt
  174. kt28598.fir.kt
  175. kt28598.kt
  176. kt28598.txt
  177. kt28654.fir.kt
  178. kt28654.kt
  179. kt28654.txt
  180. kt30405.kt
  181. kt30405.txt
  182. kt3184.kt
  183. kt3184.txt
  184. kt32196.fir.kt
  185. kt32196.kt
  186. kt32196.txt
  187. kt32415.kt
  188. kt32415.txt
  189. kt32434.kt
  190. kt32434.txt
  191. kt32462.fir.kt
  192. kt32462.kt
  193. kt32462.txt
  194. kt33263.fir.kt
  195. kt33263.kt
  196. kt33263.txt
  197. kt35702.kt
  198. kt35702.txt
  199. kt36044.kt
  200. kt36044.txt
  201. kt36819.kt
  202. kt36819.txt
  203. kt37853.kt
  204. kt37853.txt
  205. kt39220.fir.kt
  206. kt39220.kt
  207. kt39220.txt
  208. kt40396.fir.kt
  209. kt40396.kt
  210. kt40396.txt
  211. kt46515.fir.kt
  212. kt46515.kt
  213. kt46515.txt
  214. kt47316.fir.kt
  215. kt47316.kt
  216. kt47316.txt
  217. kt49658.fir.kt
  218. kt49658.kt
  219. kt49658.txt
  220. kt49658Strict.fir.kt
  221. kt49658Strict.kt
  222. kt49658Strict.txt
  223. kt49961.fir.kt
  224. kt49961.kt
  225. kt49961.txt
  226. kt50232a.fir.kt
  227. kt50232a.kt
  228. kt50232a.txt
  229. kt53124.kt
  230. kt53124.txt
  231. kt6175.fir.kt
  232. kt6175.kt
  233. kt6175.txt
  234. kt619.kt
  235. kt619.txt
  236. kt62609.kt
  237. kt63577.fir.kt
  238. kt63577.kt
  239. kt63982.kt
  240. lambdaAgainstSimpleTypeMismatch.diag.txt
  241. lambdaAgainstSimpleTypeMismatch.fir.diag.txt
  242. lambdaAgainstSimpleTypeMismatch.fir.kt
  243. lambdaAgainstSimpleTypeMismatch.kt
  244. lambdaArgumentWithLabel.kt
  245. lambdaArgumentWithLabel.txt
  246. lambdaInValInitializerWithAnonymousFunctions.fir.kt
  247. lambdaInValInitializerWithAnonymousFunctions.kt
  248. lambdaInValInitializerWithAnonymousFunctions.txt
  249. lambdaParameterTypeInElvis.kt
  250. lambdaParameterTypeInElvis.txt
  251. listConstructor.kt
  252. listConstructor.txt
  253. localFunctionInsideIfBlock.kt
  254. localFunctionInsideIfBlock.txt
  255. mapFunction.fir.kt
  256. mapFunction.kt
  257. mapFunction.txt
  258. mostSpecificAfterInference.fir.kt
  259. mostSpecificAfterInference.kt
  260. mostSpecificAfterInference.txt
  261. nestedIfWithExpectedType.fir.kt
  262. nestedIfWithExpectedType.kt
  263. NoInferenceFromDeclaredBounds.fir.kt
  264. NoInferenceFromDeclaredBounds.kt
  265. NoInferenceFromDeclaredBounds.txt
  266. noInformationForParameter.fir.kt
  267. noInformationForParameter.kt
  268. noInformationForParameter.txt
  269. noInformationForStarProjectionCase.fir.kt
  270. noInformationForStarProjectionCase.kt
  271. nonFunctionalExpectedTypeForLambdaArgument.fir.kt
  272. nonFunctionalExpectedTypeForLambdaArgument.kt
  273. nonFunctionalExpectedTypeForLambdaArgument.txt
  274. notFixedTopLevelLambdaParameter.kt
  275. nothingVsParameterBound.kt
  276. nullableArgumentForDnn.fir.kt
  277. nullableArgumentForDnn.kt
  278. nullableTypeArgumentWithNotNullUpperBound.fir.kt
  279. nullableTypeArgumentWithNotNullUpperBound.kt
  280. nullableTypeArgumentWithNotNullUpperBound.txt
  281. nullableUpperBound.kt
  282. nullableUpperBound.txt
  283. onlyInputTypesWithMultilevelIncorporation.fir.kt
  284. onlyInputTypesWithMultilevelIncorporation.kt
  285. onlyInputTypesWithMultilevelIncorporation.txt
  286. opposite.kt
  287. opposite.txt
  288. possibleCycleOnConstraints.fir.kt
  289. possibleCycleOnConstraints.kt
  290. possibleCycleOnConstraints.txt
  291. receiverTypeMismatch_withoutProper.kt
  292. receiverTypeMismatch_withProper.fir.kt
  293. receiverTypeMismatch_withProper.kt
  294. recursiveGenericExtensionReceiver.kt
  295. reportAboutUnresolvedReferenceAsUnresolved.kt
  296. reportAboutUnresolvedReferenceAsUnresolved.txt
  297. reportNotEnoughTypeInformationErrorsOnBlockExpressions.fir.kt
  298. reportNotEnoughTypeInformationErrorsOnBlockExpressions.kt
  299. resolveWithUnknownLambdaParameterType.kt
  300. resolveWithUnknownLambdaParameterType.txt
  301. returningLambdaInSuspendContext.kt
  302. returningLambdaInSuspendContext.txt
  303. selectOfLambdaWithExtension.kt
  304. selectOfLambdaWithExtensionDisabled.fir.kt
  305. selectOfLambdaWithExtensionDisabled.kt
  306. selectOfLambdaWithExtensionEnabled.kt
  307. smartCastFork.fir.kt
  308. smartCastFork.kt
  309. smartCastForkForExpectedTypeNested.fir.kt
  310. smartCastForkForExpectedTypeNested.kt
  311. smartCastForkForExpectType.fir.kt
  312. smartCastForkForExpectType.kt
  313. specialCallsWithCallableReferences.fir.kt
  314. specialCallsWithCallableReferences.kt
  315. specialCallsWithLambdas.kt
  316. starApproximation.kt
  317. starApproximationBangBang.kt
  318. starApproximationFlexible.kt
  319. starApproximationFromDifferentTypeParameter.kt
  320. stubTypeForSubtyping.kt
  321. stubTypeForSubtyping.txt
  322. tooEagerSmartcast.fir.kt
  323. tooEagerSmartcast.kt
  324. topLevelIntersection.fir.kt
  325. topLevelIntersection.kt
  326. topLevelIntersection.txt
  327. tryNumberLowerBoundsBeforeUpperBounds.kt
  328. tryNumberLowerBoundsBeforeUpperBounds.txt
  329. typeConstructorMismatch.fir.kt
  330. typeConstructorMismatch.kt
  331. typeConstructorMismatch.txt
  332. typeInferenceExpectedTypeMismatch.fir.kt
  333. typeInferenceExpectedTypeMismatch.kt
  334. typeInferenceExpectedTypeMismatch.txt
  335. typeParameterInConstructor.kt
  336. typeParameterInConstructor.txt
  337. underscoredTypeArgument.fir.kt
  338. underscoredTypeArgument.kt
  339. underscoredTypeArgument.txt
  340. underscoredTypeInForbiddenPositions.fir.kt
  341. underscoredTypeInForbiddenPositions.kt
  342. underscoredTypeInForbiddenPositions.txt
  343. UnitUpperboundLambdaReturnType.kt
  344. UnitUpperboundLambdaReturnTypeWithExplicitReturn.kt
  345. unsoundness1.fir.kt
  346. unsoundness1.kt
  347. unsoundness2.kt
  348. useFunctionLiteralsToInferType.kt
  349. useFunctionLiteralsToInferType.txt
  350. violatingUpperBoundForSelfType.fir.kt
  351. violatingUpperBoundForSelfType.kt
  352. violatingUpperBoundForSelfType.txt
  353. violatingUpperBoundForSelfTypeError.fir.kt
  354. violatingUpperBoundForSelfTypeError.kt
  355. violatingUpperBoundForSelfTypeError.txt