fork(1) download
copy 
  1. type
  2.   Test = concept test
  3.     type T = auto
  4.     test.stuff(T)
  5.  
  6. proc stuff[T](i: int, value: T): T =
  7.   result = value
  8.  
  9. proc testWithInt(t: Test) =
  10.   discard t.stuff(123)
  11.  
  12. let i = 123
  13. testWithInt(i)
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
compilation info 
prog.nim(13, 12) Error: type mismatch: got (int)
but expected one of: 
proc testWithInt[Test](t: Test)
stdout
copy 
Standard output is empty
https://ideone.com/zLQgMc
language:
Nim (nim 0.19.4)
created:
8 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!