UserContext broken with Nim 1.6

[konradmb]

Example taken from docs:

import prologue

type
  UserContext = ref object of Context
    data: int

# initialize data
method extend(ctx: UserContext) =
  ctx.data = 999

proc hello*(ctx: UserContext) {.async.} =
  doAssert ctx.data == 999
  resp "<h1>Hello, Prologue!</h1>"

var app = newApp()
app.get("/", hello)
app.run(UserContext)

Error:

contextTest.nim(16, 4) Error: type mismatch: got <Prologue, string, proc (ctx: UserContext): Future[system.void]{.gcsafe, locks: <unknown>.}>
but expected one of:
proc get(app: Prologue; route: string; handler: HandlerAsync; name = "";
         middlewares: openArray[HandlerAsync] = @[])
  first type mismatch at position: 3
  required type for handler: HandlerAsync
  but expression 'hello' is of type: proc (ctx: UserContext): Future[system.void]{.gcsafe, locks: <unknown>.}
5 other mismatching symbols have been suppressed; compile with --showAllMismatches:on to see them

expression: get(app, "/", hello)

[konradmb]

Ok, I've done a git bisect:

a7cae2bda24871c55348173816a43144b9e668a5 is the first bad commit
commit a7cae2bda24871c55348173816a43144b9e668a5
Author: Andreas Rumpf <rumpf_a@web.de>
Date:   Thu Sep 2 17:15:11 2021 +0200

    fixes #16325 [backport:1.4] (#18784)

 compiler/sigmatch.nim                             |  3 +--
 tests/overload/tproc_types_dont_like_subtypes.nim | 20 ++++++++++++++++++++
 2 files changed, 21 insertions(+), 2 deletions(-)
 create mode 100644 tests/overload/tproc_types_dont_like_subtypes.nim

There is a workaround:
nim-lang/Nim#18828 (comment)

[ringabout]

It seems
/usr/src/prologue/examples/basic/urls.nim(7, 10) needs to be changed too.

[konradmb]

Ok! I don't know why Windows and MacOS CI holds on for eternity.