Widen the signature of code_info (#16)

* widen the signature of `code_info`

* add test case

Author: KDr2

src/CodeInfoTools.jl

@@ -63,13 +63,13 @@ Alias for `Core.SSAValue` -- represents a primitive register in lowered code. Se
 Base.:(+)(v::Variable, id::Int) = Variable(v.id + id)
 Base.:(+)(id::Int, v::Variable) = Variable(v.id + id)
 
-function code_info(f::Function, tt::Type{T}; generated=true, debuginfo=:default) where T <: Tuple
+function code_info(f, tt::Type{T}; generated=true, debuginfo=:default) where T <: Tuple
     ir = code_lowered(f, tt; generated = generated, debuginfo = :default)
     isempty(ir) && return nothing
     return ir[1]
 end
 
-function code_info(f::Function, t::Type...; generated = true, debuginfo = :default)
+function code_info(f, t::Type...; generated = true, debuginfo = :default)
     return code_info(f, Tuple{t...}; generated = generated, debuginfo = debuginfo)
 end
 

test/misc.jl

@@ -29,6 +29,14 @@ end
     get_slot(p, :m)
 end
 
+@testset "code_info on constructor -- misc." begin
+    struct T
+        i::Int
+    end
+    ir = code_info(T, Int)
+    @test Meta.isexpr(ir.code[1], :new)
+end
+
 @testset "code_inferred -- misc." begin
     b = CodeInfoTools.Builder(g, Int)
     identity(b)