@:genericBuild DeclType

Main.hx

@:genericBuild(MyMacro.infer())
class DeclType<Const> { }

class Main {
    static function main() {
        var values = [for (i in 0...10) { i : i, hello: true }];
        var list = [];
        function example(v:DeclType<[values[0]]>) {
		trace(v.i);
        	list.push(v);
        }
        for (v in list) {
        	trace(v.i, v.hello);
        }
    }
}

MyMacro.hx

import haxe.macro.Expr;
import haxe.macro.Context;
import haxe.macro.Type;

class MyMacro {
	macro static function infer():Type {
		switch (Context.getLocalType()) {
			case TInst(_, [TInst(_.get() => {kind: KExpr(macro $a{e})}, _)]):
				return Context.typeof(e[0]);
			case _:
		}
		return null;
	}
}