| `x !== nothing` incorrectly reported by `@code_lowered` and Cthulhu.jl? |       | 6 | 96 | October 22, 2025 | 
        
          | Why does `Cthulhu.@descend` report incorrect `Any` inference in the call menu? |   | 0 | 44 | March 27, 2025 | 
        
          | [RELEASE] RxInfer 4.0.0 and updated documentation |     | 2 | 654 | February 24, 2025 | 
        
          | Type instability clarification |       | 6 | 173 | November 27, 2024 | 
        
          | In what cases does Cthulhu.jl give a more precise inferred return type than Julia's built-in return type inference? |   | 0 | 61 | October 31, 2024 | 
        
          | Type inference difference in `mapreduce(f, op, t)` vs `reduce(op, map(f, t))` |     | 1 | 337 | October 24, 2024 | 
        
          | Extracting each iteration result in KissABC.jl |     | 4 | 155 | September 5, 2024 | 
        
          | What are the dangers of a possible proliferation of exception types? |         | 7 | 254 | July 24, 2024 | 
        
          | Base.return_types and `Test.@inferred` conditionally failing unlike `@code_warntype` |     | 6 | 222 | May 30, 2024 | 
        
          | Inconsistency between Core.Compiler.return_type and Test.@inferred |   | 1 | 100 | May 14, 2024 | 
        
          | Why Julia fails to infere types in this example? What is the cost of this? What are requirements for type inference? |         | 12 | 454 | May 8, 2024 | 
        
          | Tips for Estimating Non-linear Latent SDE |     | 1 | 379 | April 7, 2024 | 
        
          | Make Julia complete the inference of some recursive code |       | 2 | 401 | March 11, 2024 | 
        
          | RFC: Some Ideas to Tackle #15276 - performance of captured variables in closures |           | 65 | 4692 | February 16, 2024 | 
        
          | Failure to optimize due to type recursion |       | 4 | 413 | January 9, 2024 | 
        
          | Infer return type from ambiguous input |           | 6 | 362 | October 26, 2023 | 
        
          | How to write a unit test that checks whether a function is type stable |           | 23 | 1637 | October 6, 2023 | 
        
          | Allocations when indexing (Abstract)Arrays with large dimension |         | 6 | 438 | August 31, 2023 | 
        
          | Inference in nested quadgk |   | 0 | 220 | June 6, 2023 | 
        
          | Nested sampling for Bayesian parameter estimation in Julia |   | 0 | 412 | March 15, 2023 | 
        
          | Constant propagation and inference of constructed types |           | 14 | 1346 | February 7, 2023 | 
        
          | Type-inference with two variables that must have the same type |           | 13 | 476 | January 25, 2023 | 
        
          | `@inferred` check for a small `Union` without being specific about the types |     | 1 | 210 | January 24, 2023 | 
        
          | Why are the inferred types different between collect and comprehension? |       | 3 | 318 | January 6, 2023 | 
        
          | [ANN] ProfileLikelihood.jl: Computing profile likelihoods |       | 3 | 824 | December 28, 2022 | 
        
          | How to use type parameter variables across multiple parametric types |         | 10 | 930 | November 12, 2022 | 
        
          | Why doesn't `vect` return a union-typed result if the number of elements is small? |       | 3 | 627 | September 13, 2022 | 
        
          | Constructors for `<:Function` types when possible, like in C++ |         | 7 | 836 | September 1, 2022 | 
        
          | Improve this function for merging tuples so that the return type could be accurately inferred |     | 1 | 363 | July 28, 2022 | 
        
          | JET is unhappy with broadcast assigning a matrix to a submatrix, rooted in `abstractarray.jl` |   | 0 | 315 | July 4, 2022 |