cedric@laptop:~/dev/workspace/boo/boo$ cat tests/testcases/regression/BOO-1013-1.boo
"""
42
foo
"""

abstract class AbstractFoo:
        abstract def Bar[of T](x as T) as T:
                pass

class Foo(AbstractFoo):
        def Bar[of T](x as T) as T:
                print x
                return x

foo = Foo()
assert 42 == foo.Bar[of int](42)
assert "foo" == foo.Bar[of string]("foo")

cedric@laptop:~/dev/workspace/boo/boo$ booc tests/testcases/regression/BOO-1013-1.boo
Boo Compiler version 0.8.1.2932 (CLR v2.0.50727.42)
tests/testcases/regression/BOO-1013-1.boo(10,11): BCW0011: WARNING: Type 'Foo' does not provide an implementation for 'AbstractFoo.Bar`1(AbstractFoo.Bar`1.T)', a stub has been created.
1 warning(s).