I think that it implies that B can be solved by a non-deterministic polynomial time or worse Turing machine, but I realise that there is possibly some greater result that I'm missing.
Thanks in advance.
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.Sign up to join this community
$B$ cannot be the language $\emptyset$ or the language $\Sigma^*$. Apart from that, you can conclude absolutely nothing about $B$.
So, the given condition doesn't rule out anything useful about $B$; just about everything remains possible. $B$ could be in $P$, or it could be in $NP$, it could be harder than anything in $NP$; you can't rule any of those out.
PHPNick is right.
With A being NP we can conclude that B is atleast as hard as A if B was easier that is, if a polynomial time algorithm existed for B it could be used to solve A along with polynomial time conversion of B to A
Hence B might be p(if A is P) or NP or NP-hard or NP-complete While if A is NP B has to be atleast NP or it could be NP-hard or NP-complete