ac730a693a
Before this commit, implicit Unit type for function with body and without type, implicit Boolean type for conditions etc. were 'implicit' types and resolved types together. Sometimes this could lead to hard-to-find issues in FIR resolve, because 'implicit' types are usually handled there as 'necessary to resolve' which is wrong for such effectively-resolved types.