Example: run this with type tracker: ```ruby def foo(a); a; end bar("String") ``` Then ask type of: ```ruby bar(4) ``` It will say that type in `String` but current type inference system in RubyMine can inference type itself and do it absolutely correctly