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