[SR-10229] TypeCheck error: Compiler is unable to type check this expression in reasonable time

[swift-ci]

Previous ID	SR-10229
Radar	None
Original Reporter	gcampos (JIRA User)
Type	Bug

Environment

MacOS

Additional Detail from JIRA

Votes	0
Component/s	Compiler
Labels	Bug, 5.0Regression, Performance, TypeChecker
Assignee	None
Priority	Medium

md5: 75e1ad8611675120f730a733cc525897

Issue Description:

On swift 5.0

This code doesn't compile due to error "Compiler is unable to type check this expression in reasonable time"

import Foundation


let padding: CGFloat = 1
let stroke: CGFloat = 15
let origin: CGFloat = 2
let handleViewHeight: CGFloat = 1


_ = CGPoint(x: 1, y: (origin + (padding + handleViewHeight/2 + stroke/2))/1.75)

But on swift 4.2 compiles without any problem.

[belkadan]

@xedin, another "reasonable time" regression for you.

[gregomni]

No problems with Xcode 11.0b5.

[slavapestov]

It's fast on Swift 6.1, 6.2, and main. I'll add a test case.