id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1198	Allow `the` to override inferred types	evhan		"`the` can currently specialize an expression's inferred type to a more specific one, but it can't also generalize it to a less specific one when -strict-types is used (an error is signaled during compilation when the declared type is more general than the inferred type):

{{{
Warning: in toplevel procedure `foo?':
  expression returns a result of type `fixnum', but is declared to return `number', which is not a subtype

Error: some variable types do not satisfy strictness
}}}

This would be useful for the purpose described in [https://lists.nongnu.org/archive/html/chicken-hackers/2015-06/msg00039.html this thread] (specifically [https://lists.nongnu.org/archive/html/chicken-hackers/2015-07/msg00000.html here])."	enhancement	closed	minor	4.10.0	scrutinizer	4.9.x	fixed	types, strict-types, compiler		hard