Commit6c801b2

Kevin Ransom

committed

Test case for reversion

1 parent37213bb commit6c801b2Copy full SHA for 6c801b2

File tree

+37

-1

lines changed

+37

-1

lines changed

Lines changed: 30 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,30 @@`
	`1`	`+(*************** Repro for issue#5246 ---- https://github.com/Microsoft/visualfsharp/issues/5246***************)`
	`2`	`+(*`
	`3`	`+ When the bug was present we saw this error:`
	`4`	`+`
	`5`	`+ Compile errors are raised:`
	`6`	`+ error FS0041: A unique overload for method 'ofObject' could not be determined based on type`
	`7`	`+ information prior to this program point. A type annotation may be needed.`
	`8`	`+ Candidates: static member Methods.ofObject : t0:'a -> Methods option when 'a : null,`
	`9`	`+ static member Methods.ofObject : t1:'a -> Methods option when 'a :> ITest1 and 'a : null`
	`10`	`+`
	`11`	`+ Expected behavior`
	`12`	`+ The code should compile fine (possibly with a warning on :? obj always succeeding).`
	`13`	`+`
	`14`	`+*)`
	`15`	`+`
	`16`	`+moduleTestOfObj=`
	`17`	`+`
	`18`	`+type[<AllowNullLiteral>]ITest1=interfaceend`
	`19`	`+`
	`20`	`+typeMethods=`
	`21`	`+\| Test1ofITest1`
	`22`	`+\| Otherofobj`
	`23`	`+`
	`24`	`+static memberofObject t1= Option.ofObj t1\|> Option.map Test1`
	`25`	`+static memberofObject t0= Option.ofObj t0\|> Option.map Other`
	`26`	`+`
	`27`	`+static memberconvert(x:obj)=`
	`28`	`+match xwith`
	`29`	`+\|:? ITest1as one-> Methods.ofObject one`
	`30`	`+\|:? objas one-> Methods.ofObject one`

Lines changed: 7 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1630,11 +1630,17 @@ module RegressionTests =`
`1630`	`1630`	`[<Test>]`
`1631`	`1631`	let``literal-value-bug-2-FSI_BASIC``()= singleTestBuildAndRun"regression/literal-value-bug-2" FSI_BASIC
`1632`	`1632`
	`1633`	`+[<Test>]`
	`1634`	+let``OverloadResolution-bug-FSC_BASIC``()= singleTestBuildAndRun"regression/OverloadResolution-bug" FSC_BASIC
	`1635`	`+`
	`1636`	`+[<Test>]`
	`1637`	+let``OverloadResolution-bug-FSI_BASIC``()= singleTestBuildAndRun"regression/OverloadResolution-bug" FSI_BASIC
	`1638`	`+`
`1633`	`1639`	`[<Test>]`
`1634`	`1640`	let``struct-tuple-bug-1-FSC_BASIC``()= singleTestBuildAndRun"regression/struct-tuple-bug-1" FSC_BASIC
`1635`	`1641`
`1636`	`1642`	`[<Test >]`
`1637`		-let``tuple-bug-1``()= singleTestBuildAndRun"regression/tuple-bug-1" FSC_BASIC
	`1643`	+let``tuple-bug-1-FSC_BASIC``()= singleTestBuildAndRun"regression/tuple-bug-1" FSC_BASIC
`1638`	`1644`
`1639`	`1645`	`[<Test>]`
`1640`	`1646`	let``26``()= singleTestBuildAndRun"regression/26" FSC_BASIC

Comments

(0)