To support more robust autocomplete in the code editors, we should use type inference before determining the possible completions