make type inference consider directly spliced-in functions. closes #6626
Merge branch 'master' of github.com:JuliaLang/julia