# Look for help for weird type inference

**URL:** <https://discourse.julialang.org/t/look-for-help-for-weird-type-inference/80834>\
**Category:** Performance\
**Tags:** question\
**Created:** [May 10, 2022, 5:55pm UTC](https://discourse.julialang.org/t/look-for-help-for-weird-type-inference/80834 "2022-05-10T17:55:00Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![schlichtanders](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/schlichtanders/32/32145_2.png) [@schlichtanders](https://discourse.julialang.org/u/schlichtanders)\
**Post date:** [May 10, 2022, 5:55pm UTC](https://discourse.julialang.org/t/look-for-help-for-weird-type-inference/80834/1 "2022-05-10T17:55:00Z")

</div>

Hi there, I am the author of [ExtensibleEffects.jl](https://github.com/JuliaFunctional/ExtensibleEffects.jl) and am trying to optimize the package.

I debugged a type-inference instability but am totally puzzled about the behaviour. I cannot easily minify it, but can show it to someone in minutes. Hence I am looking for someone experienced with Julia type-inference with about 30 minutes time so that I can show her/him the issue.

Teaser: I have a function `my_func` which changes its type inference behaviour depending on whether or not there is another function `totally_unrelated_func` defined which calls `my_func`. Please note that `totally_unrelated_func` is not called at all in the type-inference example, it just matters whether it exists or not for `my_func` to change its type-inference.

Hoping for some volunteer 🙂

---

<div class="post-metadata">

**Author:** ![mkitti](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/mkitti/32/12459_2.png) [@mkitti](https://discourse.julialang.org/u/mkitti)\
**Post date:** [May 10, 2022, 8:13pm UTC](https://discourse.julialang.org/t/look-for-help-for-weird-type-inference/80834/2 "2022-05-10T20:13:23Z")

</div>

I’m not an expert, but I’ll take a look.

---

<div class="post-metadata">

**Author:** ![schlichtanders](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/schlichtanders/32/32145_2.png) [@schlichtanders](https://discourse.julialang.org/u/schlichtanders)\
**Post date:** [May 14, 2022, 11:21am UTC](https://discourse.julialang.org/t/look-for-help-for-weird-type-inference/80834/3 "2022-05-14T11:21:00Z")

</div>

I now created a reproducible example of the weird type inference: [Need help with incomprehensible typeinference](https://discourse.julialang.org/t/need-help-with-incomprehensible-typeinference/81056)