Why is it unsure about nothrow? julia> f(x) = x * x f (generic function with 1 method) julia> Base.infer_effects(*, (Int, Int)) (+c,+e,+n,+t) julia> Base.infer_effects(f, (Int, Int)) (+c,+e,?n,+t) julia> versioninfo() Julia Version 1.8.1 Commit afb6c60d69a (2022-09-06 15:09 UTC) Platform Info: …

Why effect inference fails?

giordano December 29, 2022, 9:37pm 2

Probably because you got signature wrong, your f takes a single argument, not two.

2 Likes

Topic		Replies	Views
Need help with incomprehensible typeinference Performance question	9	823	May 20, 2022
Regression in v0.7 due to weird inference failure for function with Lisp-y recursion Internals & Design inference	14	1646	March 23, 2018
Inference breaks as a result of a simple no-op? General Usage bug , inference	6	973	March 10, 2018
Strict typing and restricting types in a method's signature General Usage	25	6317	December 3, 2016
Type inference through an if statement on a type parameter General Usage	2	581	December 4, 2017