id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
5084	Error message with INLINE/SPECIALISE pragma for class method	batterseapower		"The INLINE/SPECIALISE pragmas in a class declaration apply to the *default methods* in that declaration. However, no error is given if such a pragma is given when no corresponding default method exists, as in this example:

{{{
class Foo a where
    bar :: a -> a
    {-# INLINE bar #-}
}}}

"	feature request	closed	normal		Compiler	7.0.3	fixed			Unknown/Multiple	Unknown/Multiple	GHC accepts invalid program		typecheck/should_fail/T5084